Starting with inventory:
0000003494-5d0a5d66c93db87b8a88e6d5fab2375076078ed4d6c9f370a8f08396228537f4
[TAG 0.4.0 (finished partitioning & logging)
martin.hofmann@uni-bamberg.de**20090123085534] 
hash: 0000002177-5e1941d3c73dd35667801cc8bbc8e5d7715484f09aff04c12d69ba38f5ce6f49
[code cosmetics in HypoSpace.hs
martin.hofmann@uni-bamberg.de**20090126073636] 
hash: 0000006472-6195502032052c3517e88cd640455640d99f6a746511ff7470249ca3a69d9154
[moved log file handling to Logger.hs
martin.hofmann@uni-bamberg.de**20090126074256] 
hash: 0000004173-e772afcafbb4cfb1c0bc2a0295d88587570914ee44109b41044c8e4a546b69ac
[Rules now (Set Rule) Rateable in own module
martin.hofmann@uni-bamberg.de**20090126090926] 
hash: 0000008748-f2d638217612478db235deff69a456d24d4574dedde1e88d70cd408023600c82
[Hypos now (Set Hypo), Data.MaySet extends Data.Set
martin.hofmann@uni-bamberg.de**20090126093028] 
hash: 0000007712-40dd56b8f1469295e7c4353e0aa595d79eaa6b92ed71a9832e99108f77255304
