Starting with inventory:
0000007815-f6c46209b7501325b6f43a96d1185338a6e59f0dc8847df362444fd5cc260bba
[TAG 0.5.9.6 (use sections in HO, simplification based on call graph)
martin.hofmann@uni-bamberg.de**20091019080246] 
hash: 0000004309-0fa75af5616160cda1d7002fb9d5265cb80cf42e025364925aa5aa94da7bf9c2
[insert lists into BagHeap
martin.hofmann@uni-bamberg.de**20091020100356] 
hash: 0000001738-7f18002fda87619e24cbdd31d9855fcec696f723290c9a221d366553fb5a209a
[additional inspector function for Hypotheses
martin.hofmann@uni-bamberg.de**20091020100512] 
hash: 0000000232-56570e2ac224bbd5fc7730006f711afb63dde4b0e90d5325eeaa428fd28476bd
[Modified synthesis to output tiers of alternative hypotheses
martin.hofmann@uni-bamberg.de**20091020100643
 I am not sure if whether this is good or not. I am afraid that logging will force execution until SearchSpace is exhausted, so laziness does not help here.
] 
hash: 0000011965-aca1254a5c73395a16fc614661bdc34c446c10e574e10fbfe86b7238b9c5fc97
[option maxTiers, and implementation
martin.hofmann@uni-bamberg.de**20091021082727] 
hash: 0000007684-cb5caca05c7114c134c952fceb6216a0a89098ebea82f66ef1bd2ab507cd3a8b
[heuristic added as an additional field in RatingData, not used for comparison, though
martin.hofmann@uni-bamberg.de**20091021082837] 
hash: 0000002297-4c4c10c6b4754c2aa737a1848b80b2013d7f79c54fbde60b2e4e0f61203a9e85
[log-file changes, prettify, extended Ratingdata
martin.hofmann@uni-bamberg.de**20091028151704] 
hash: 0000002106-33c4f2c05be4f0a765183289ceb3c68706f392e91002192821ae67c82f5207b0
[BUGFIX: I need to use TConE for function names, otherwise matchEval and simplification of rules may not work
martin.hofmann@uni-bamberg.de**20091028151924] 
hash: 0000000577-ad792e5ad562b5d87baf86f6755796a5ed5dfb866564f901db50d545221679f4
[Better Error Handling
martin.hofmann@uni-bamberg.de**20091111155137] 
hash: 0000004913-4d2722adc6473d98063c8e823b26a53742d405a1c14feb0373d7e0e40b532686
