Starting with inventory:
0000001183-03da261a13ec92e842788b795f51a31048b0bdb2a4e991fdc1e8e940984eb85f
[TAG 0.5.4 (now it should be atmost as buggy as it was before adding types)
martin.hofmann@uni-bamberg.de**20090421102231] 
hash: 0000000717-ade08420c3707286548203865bddc292af25ca6d4557a37ea620cbfec1edbd5e
[gettng all allowed calls from a CallDep
martin.hofmann@uni-bamberg.de**20090423125957] 
hash: 0000004449-17408dab7dae65e7af6e7d6526411d3d5620f4e7182bd8a593c271562e018b40
[various bugfixes and 'Subfunction intro' now more simple
martin.hofmann@uni-bamberg.de**20090423130550
 BUGFIX: computing opePosition was erroneous, open Vars  must be set when computing difference btween lhs and rhs
 BUGFIX: antiunifying ragged lists, (:) now as infix, solved problem when 'straight' part of list is empty
 BUGFIX: Introduce Subfunction, wrong type of subterm due to mkArrowT, foldAppT, foldAppE, etc
 CHANGE: insertCall _> mkCallAt
 CHANGE: IOData does not check for subsuming IOs anymore
 NEW:    matching 2 rules and keeping track of subsumption beyond PatT and ExpT
 NEW:    instance Pretty TimeDiff
 
] 
hash: 0000014845-1dea765e3f98be35841f194ee538c6b803ce01ee022e465b788a47369d70552e
[RuelDevelopment now requires CallDep
martin.hofmann@uni-bamberg.de**20090423133329] 
hash: 0000002339-3e5ba27234b7ab966fe26a371b29f84584889b5ee2e0b4cadc720af22d1208de
[new version and tidy Main
martin.hofmann@uni-bamberg.de**20090423133522] 
hash: 0000013514-0027cc4232e4705346a579873d7d9e1d36166b5d5d3362e076c4b08469116b33
[organise imports, and module diagram changed
martin.hofmann@uni-bamberg.de**20090424063232] 
hash: 0000016117-ebb3e3b1daa71b69cbe89cd2b8efcdb3c586410b397f26fb3e28614fd3a923cc
[Matching.hs added
martin.hofmann@uni-bamberg.de**20090424063401] 
hash: 0000000514-055f1bc826231eb5d1bd30e71bad11e784bbec74db94b3170675bf965b753a4b
