[TAG 0.7.0.0 (generic cata, started experimenting with heuristic [not used], various bugfixes)
martin.hofmann@uni-bamberg.de**20100107153653] 
<
[versioning
martin.hofmann@uni-bamberg.de**20100107153639] 
[modify heuristic (use numTotalRules)
martin.hofmann@uni-bamberg.de**20100107130211] 
[comments
martin.hofmann@uni-bamberg.de**20100107123855] 
[comment added
martin.hofmann@uni-bamberg.de**20100107112143] 
[TODO updated
martin.hofmann@uni-bamberg.de**20100105140829] 
[user info when searchspace exhausted
martin.hofmann@uni-bamberg.de**20100105140453] 
[BUGFIXES: generic cata anduced non-functional ios, list cata was not applied when gen cata failed
martin.hofmann@uni-bamberg.de**20100105140221] 
[Improved Heuristic!!
martin.hofmann@uni-bamberg.de**20100105140159] 
[BUGFIX: foldr had too many arguments in fun call after optimising arguments
martin.hofmann@uni-bamberg.de**20100104171006] 
[trivia and trace removed
martin.hofmann@uni-bamberg.de**20100104142735] 
[BUGFIX: wrong order for llg of rules caused trouble with EQVs
martin.hofmann@uni-bamberg.de**20100104142643] 
[BUGFIX: map, filter, foldr didn't work when applied to a specific argument index
martin.hofmann@uni-bamberg.de**20100104103928] 
[commented dead code
martin.hofmann@uni-bamberg.de**20100104103753] 
[BUGFIX: checkin cata property, evalIO, incorrect order of args
martin.hofmann@uni-bamberg.de**20091218142458] 
[BUGFIX: generic cata detection overly general
martin.hofmann@uni-bamberg.de**20091218093252] 
[more readable error output
martin.hofmann@uni-bamberg.de**20091218091042] 
[code cleaning and logging
martin.hofmann@uni-bamberg.de**20091217151331] 
[replace Maybe inside Monads be ErrorMonad and catchError
martin.hofmann@uni-bamberg.de**20091217151048] 
[BUGFIX: called genericCata twice
martin.hofmann@uni-bamberg.de**20091217104945] 
[list cata applies to any argument, list cata only applies iff gen cata does not apply
martin.hofmann@uni-bamberg.de**20091217100032] 
[removed Abduce.hs
martin.hofmann@uni-bamberg.de**20091217095939] 
[generic cata applies to any argument
martin.hofmann@uni-bamberg.de**20091216150845] 
[introduce pattern wildcards in output
martin.hofmann@uni-bamberg.de**20091216095341] 
[t step towards cata application on any argument (faulty)
martin.hofmann@uni-bamberg.de**20091216095214] 
[First implemementation of generic catamorphisms
martin.hofmann@uni-bamberg.de**20091211151209] 
[TAG 0.6.0.0 (ad-hoc polymorphic support, restructured Syntax, using haskeline, using haskell-src-exts, using context)
martin.hofmann@uni-bamberg.de**20091210120405] 
>