[TAG 0.4.2 (numberOfPartitions as evaluation criteria for Hypos)
martin.hofmann@uni-bamberg.de**20090126142415] 
<
['matchLhss' added to Rules.hs, 'numberOfPartitions' added to Rateable.hs
martin.hofmann@uni-bamberg.de**20090126142203] 
[Added Error handling to LM, BUGFIX Unifier.hs
martin.hofmann@uni-bamberg.de**20090126141813
 Unifier.hs :
 	- BUGFIX: error handling for function 'matches' needed to distinguish between identity and match-failure
] 
[Using Ratingdata is now more general and more flexible
martin.hofmann@uni-bamberg.de**20090126141525
 Generalised rateIdMap in HypoSpace from IntMap IDs to mao RatingData IDs
] 
[e cosmetics in MySet.hs
martin.hofmann@uni-bamberg.de**20090126141444] 
[Term related functions on Rule in IOData moved to Rules.hs
martin.hofmann@uni-bamberg.de**20090126094703] 
[TAG 0.4.1 (Collections as Set)
martin.hofmann@uni-bamberg.de**20090126093127] 
>