[TAG tagged 0.5.5 (less bugs in Subfunction, CallDep are vital for introducing/matching functions, therefore SubfunIntro is simpler)
martin.hofmann@uni-bamberg.de**20090424063510] 
<
[Matching.hs added
martin.hofmann@uni-bamberg.de**20090424063401] 
[organise imports, and module diagram changed
martin.hofmann@uni-bamberg.de**20090424063232] 
[new version and tidy Main
martin.hofmann@uni-bamberg.de**20090423133522] 
[RuelDevelopment now requires CallDep
martin.hofmann@uni-bamberg.de**20090423133329] 
[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
 
] 
[gettng all allowed calls from a CallDep
martin.hofmann@uni-bamberg.de**20090423125957] 
[TAG 0.5.4 (now it should be atmost as buggy as it was before adding types)
martin.hofmann@uni-bamberg.de**20090421102231] 
>