[TAG 0.4.0 (finished partitioning & logging)
martin.hofmann@uni-bamberg.de**20090123085534] 
<
[ExampleDef.hs and RuleDevelopment added
martin.hofmann@uni-bamberg.de**20090123084650] 
[PrettyPrinting for Logging
martin.hofmann@uni-bamberg.de**20090123084353] 
[various changes (quite nstructured)
martin.hofmann@uni-bamberg.de**20090123081645
 HypoSpace.hs: 
 	- type ID = Integer -> use IntMap and IntSet for manageing IDs
 Fragments.hs and IOData.hs:
 	- RuleFrag moved to IOData
 	- RuleFrags are now (Set RuleFrag)
 	- adapted functions to operate on (Set RuleFrag)
 	- rm Fragments.hs
 Hypotheses.hs:
 	- BUGFIX in Ord implementation of Hypo -> now derived
 Rules.hs:
 	- Rule should interface Terms, so functions implemented to allow term-like operations on Rules by appropriatly passing to term functions
 Terms.hs:
 	- BUGFIX in positions on Terms, now zero-based
 	- BUGFIX in subterms on Lists, inserted special cases for [] and [x]
 Data-hs:
 	- removed
] 
[remove Data.hs (not neccessary at the moment)
martin.hofmann@uni-bamberg.de**20090123081122] 
[diagram module dependencies changed
martin.hofmann@uni-bamberg.de**20090123075827] 
[module structure reorganisation
martin.hofmann@uni-bamberg.de**20090112142025
 Major reorganisation of the module structure. A lot of renaming, import/export organisation (more import). An overview of the module structure is summarised in the file ModuleDependencies.dia (a Dia diagram).
] 
[organize imports
martin.hofmann@uni-bamberg.de**20090109130859] 
[new record fields for IOData
martin.hofmann@uni-bamberg.de**20090109130803] 
[haddock
martin.hofmann@uni-bamberg.de**20090109130457] 
[remove Advancement.hs
martin.hofmann@uni-bamberg.de**20090109130404] 
[redefinition of Position
martin.hofmann@uni-bamberg.de**20090109125100] 
[haddock for Data.Initialiser
martin.hofmann@uni-bamberg.de**20090108095138] 
[cosmetics
martin.hofmann@uni-bamberg.de**20081210120736] 
[removed Data.PSQueue.hs
martin.hofmann@uni-bamberg.de**20081208155216] 
[organise imports/exports, doc, reduced warnings
martin.hofmann@uni-bamberg.de**20081208155042] 
[TAG 0.2.0 (finished main routine)
martin.hofmann@uni-bamberg.de**20081208124106] 
>