[TAG 0.5.9.3 (bugfix in result simplification and prototypical catamorphism detection on lists)
martin.hofmann@uni-bamberg.de**20090619103253] 
<
[small bugfix in output simplification, less extensive, but correct
martin.hofmann@uni-bamberg.de**20090619102638] 
[removed dependency from haskell-src-exts
martin.hofmann@uni-bamberg.de**20090619101344
 also deleted the the-hard-way-imported module haskell-src-meta
] 
[code cleaning and cosmetics
martin.hofmann@uni-bamberg.de**20090619045228] 
[changed setting small improvements in output 8unqual and reporting result)
martin.hofmann@uni-bamberg.de**20090618030643] 
[code cosmetics and typos
martin.hofmann@uni-bamberg.de**20090618030540] 
[fold intro implemented and added as an option 
martin.hofmann@uni-bamberg.de**20090618030320] 
[BUGFIX in result simplification
martin.hofmann@uni-bamberg.de**20090618025953] 
[output open rules in partial Hypos
martin.hofmann@uni-bamberg.de**20090618025706] 
[worked on specification
martin.hofmann@uni-bamberg.de**20090618025630] 
[default settings changed
martin.hofmann@uni-bamberg.de**20090615034028] 
[code cosmetics
martin.hofmann@uni-bamberg.de**20090612084543] 
[TAG 0.5.9.2 (fixed bugs in prematching and count partitions)
martin.hofmann@uni-bamberg.de**20090612052939] 
>