[TAG 0.4.1 (Collections as Set)
martin.hofmann@uni-bamberg.de**20090126093127] 
<
[Hypos now (Set Hypo), Data.MaySet extends Data.Set
martin.hofmann@uni-bamberg.de**20090126093028] 
[Rules now (Set Rule) Rateable in own module
martin.hofmann@uni-bamberg.de**20090126090926] 
[moved log file handling to Logger.hs
martin.hofmann@uni-bamberg.de**20090126074256] 
[code cosmetics in HypoSpace.hs
martin.hofmann@uni-bamberg.de**20090126073636] 
[TAG 0.4.0 (finished partitioning & logging)
martin.hofmann@uni-bamberg.de**20090123085534] 
>