[TAG 0.5.9.6 (use sections in HO, simplification based on call graph)
martin.hofmann@uni-bamberg.de**20091019080246] 
<
[MockLog for not logging (not used)
martin.hofmann@uni-bamberg.de**20091019080204] 
[versioning
martin.hofmann@uni-bamberg.de**20091019065721] 
[default time of 0.0001s for runtimes below time precision
martin.hofmann@uni-bamberg.de**20091019065547] 
[Function names as TVarE
martin.hofmann@uni-bamberg.de**20091019065438] 
[commented tracings, maybe usefull later
martin.hofmann@uni-bamberg.de**20091014113948] 
[started working on new heuristic, still commented
martin.hofmann@uni-bamberg.de**20091014113825] 
[count loops on CallDep
martin.hofmann@uni-bamberg.de**20091014113758] 
[code cleaning
martin.hofmann@uni-bamberg.de**20091014090553] 
[renaming danglingFuns to annexCandidates, change return type of simplifiedBindings
martin.hofmann@uni-bamberg.de**20091014090212] 
[do not simplify open rules
martin.hofmann@uni-bamberg.de**20091014074136] 
[compute dangling nodes in a call graph, annex nodes and combine ingoing and outgoing edges
martin.hofmann@uni-bamberg.de**20091014074100] 
[output raw data to stdout
martin.hofmann@uni-bamberg.de**20091014073622] 
[trivia and examples
martin.hofmann@uni-bamberg.de**20091013161827] 
[implemented siplification based on a hypo with its call graph
martin.hofmann@uni-bamberg.de**20091013161704] 
[Bugfix in naive map, naive map is now last fallback if fold fails.
martin.hofmann@uni-bamberg.de**20091012151248] 
[print rating with hypothesis
martin.hofmann@uni-bamberg.de**20091012150804] 
[put Log in separate file
martin.hofmann@uni-bamberg.de**20091012150719] 
[Pepper function
martin.hofmann@uni-bamberg.de**20091012150553] 
[examples
martin.hofmann@uni-bamberg.de**20091009111229] 
[BUGFIX: error in maMap in UniProp
martin.hofmann@uni-bamberg.de**20091009111029] 
[Try to switch logging on/off via compiler optimization
martin.hofmann@uni-bamberg.de**20091009110905] 
[Problems with dirtyMap and polymorphic antiunification -> disabled
martin.hofmann@uni-bamberg.de**20091009110804] 
[BUGFIX: applying substitution destroyed types
martin.hofmann@uni-bamberg.de**20091009110713] 
[BUGFIX: check for empty I/os when introducing auxiliary for HO
martin.hofmann@uni-bamberg.de**20091009080214] 
[helper headM in Util, output raw dI/O data when in debug
martin.hofmann@uni-bamberg.de**20091009080017] 
[ruledevelopments are now operators on hypothesis, extended logging
martin.hofmann@uni-bamberg.de**20091008142415] 
[BUGFIX: equal vars were added to substitution during unification
martin.hofmann@uni-bamberg.de**20091008142332] 
[trivia
martin.hofmann@uni-bamberg.de**20091008092848] 
[HypoSpace as BagHeap, storing values with same key in a Sequence, new module BagHeap
martin.hofmann@uni-bamberg.de**20091008092717] 
[BUGFIX: sometimes, modified arg fun of map, filter was not a function anymore
martin.hofmann@uni-bamberg.de**20091007155701] 
[BUGFIX: if multiple direct calls possible, take this with smallest CallRel
martin.hofmann@uni-bamberg.de**20091007150135] 
[debug Hook to output result as raw data
martin.hofmann@uni-bamberg.de**20091007150043] 
[BUGFIX: adapt type when applying substitution
martin.hofmann@uni-bamberg.de**20091007133305] 
[typos
martin.hofmann@uni-bamberg.de**20091007133247] 
[helpers for building types
martin.hofmann@uni-bamberg.de**20091007132807] 
[trivia
martin.hofmann@uni-bamberg.de**20091007092503] 
[sections as argument functions for folds, dirty map detection
martin.hofmann@uni-bamberg.de**20091007092320] 
[keep track of types when unify Expressions
martin.hofmann@uni-bamberg.de**20091007092044
 Only check for type consistency when variables are involved. Improved matching/unification of types implemented. However, this is far from beeing perfect.
] 
[avoid term functions
martin.hofmann@uni-bamberg.de**20091007091418] 
[instance Ord RatingData
martin.hofmann@uni-bamberg.de**20091007091321] 
[hard coded flag for logging
martin.hofmann@uni-bamberg.de**20091007091127
 I have to test if setting a hard coded flag whether to log or not makes the compiler to optimize logging code away
] 
[new examples
martin.hofmann@uni-bamberg.de**20091007091031] 
[TAG 0.5.9.5 (improved HO, improved memory usage through heap-based search space)
martin.hofmann@uni-bamberg.de**20090929091234] 
>