[TAG 0.1.0 (Development)
martin.hofmann@uni-bamberg.de**20081203150516] 
<
[cpsfold
martin.hofmann@uni-bamberg.de**20081203145728] 
[debugging added
martin.hofmann@uni-bamberg.de**20081203145703] 
[testing data added
martin.hofmann@uni-bamberg.de**20081203145640] 
[bugfix initIOData helpers coverRules propagate
martin.hofmann@uni-bamberg.de**20081203145545] 
[minor changes, strictness organise im/ex
martin.hofmann@uni-bamberg.de**20081203145450] 
[strictness, orgnise im/ex, mbInsert mbDelete minor changes
martin.hofmann@uni-bamberg.de**20081203145331] 
[minor changes, strictness, size, organise im/ex
martin.hofmann@uni-bamberg.de**20081203145248] 
[outer Igor loop first implementation running (bug)
martin.hofmann@uni-bamberg.de**20081203144705
 <<loop>> somewhere in HypoSpace when deleting a hypo
] 
[Main and Test modified
martin.hofmann@uni-bamberg.de**20081203144553] 
[tried to debug HypoSpace
martin.hofmann@uni-bamberg.de**20081203143936
 unsuccessful attempt to debug HypoSpace, at least the code is shorter and cleaner now
] 
[cosmetics
martin.hofmann@uni-bamberg.de**20081127104242] 
[renaming and organise exports
martin.hofmann@uni-bamberg.de**20081127104221] 
[renaming, organise exports, changed map sig
martin.hofmann@uni-bamberg.de**20081127103938] 
[a first implementation of the synthesis loop
martin.hofmann@uni-bamberg.de**20081127103701] 
[converter functions from/to Dec/Rules
martin.hofmann@uni-bamberg.de**20081127103600] 
[impl of mkInitialHypo
martin.hofmann@uni-bamberg.de**20081126161612] 
[instance Antiunifieable Rule
martin.hofmann@uni-bamberg.de**20081126161500
 need to reorganise import/exports tp prevent cycle
] 
[instance Size [Pat]
martin.hofmann@uni-bamberg.de**20081126155808
 Don't know anymore why I needed this
] 
[commenting superfluous funs
martin.hofmann@uni-bamberg.de**20081126155505] 
[organise imports/exports
martin.hofmann@uni-bamberg.de**20081126155339] 
[toRule fromRule
martin.hofmann@uni-bamberg.de**20081126155244] 
[renaming, organising...
martin.hofmann@uni-bamberg.de**20081126154903] 
[openPositions, freeVars, hasFreevars added
martin.hofmann@uni-bamberg.de**20081126154801] 
[Logging Monad simplified
martin.hofmann@uni-bamberg.de**20081126154240
 EL renamed to LM
 LM is not a MonadTransformer anymore
 changes propagated
] 
[type check, comments, and various imports added
martin.hofmann@uni-bamberg.de**20081126095044] 
[remove IM from Test setting
martin.hofmann@uni-bamberg.de**20081126093750
 Logging has been removed from the IM, so logging test have been changed to use the simple logging Monad EL
] 
[some minar changes (typos,...)
martin.hofmann@uni-bamberg.de**20081126093546] 
[simplified Logger
martin.hofmann@uni-bamberg.de**20081126093153
 removed ErrorT from LoggerMonad and added a simple Monad for logging (EL)
] 
[some functionality of IgorMonad sketched
martin.hofmann@uni-bamberg.de**20081126092920] 
[initIgor sketched
martin.hofmann@uni-bamberg.de**20081126092741] 
[rename empty in CallDependencies and HSpace
martin.hofmann@uni-bamberg.de**20081126091123
 empty -> noCalls in CallDependencies
 initHSpace -> emptyHSpace in HypoSpace
 initHSpace added
] 
['propagate' in HypoSpace and related in Hypos
martin.hofmann@uni-bamberg.de**20081124093039] 
[function for developing a Hypo added, and various minor changes
martin.hofmann@uni-bamberg.de**20081121142235] 
[new type Call added
martin.hofmann@uni-bamberg.de**20081121142149] 
[CallDependencies propagated to Hypotheses
martin.hofmann@uni-bamberg.de**20081121125730] 
[module CallDependencies initial record
martin.hofmann@uni-bamberg.de**20081121125627] 
[module ExpEvaluator added, initial change
martin.hofmann@uni-bamberg.de**20081119094537] 
[tidied up Rules
martin.hofmann@uni-bamberg.de**20081118154212] 
[tidied up Fragments
martin.hofmann@uni-bamberg.de**20081118153943] 
[Initial change for new module Initialiser
martin.hofmann@uni-bamberg.de**20081117123114] 
[RuleFrags propagated to Advancements
martin.hofmann@uni-bamberg.de**20081117123027] 
[Fragments propagated to HypoSpace
martin.hofmann@uni-bamberg.de**20081117090224] 
[monadic versions of ins del rep added
martin.hofmann@uni-bamberg.de**20081114141307] 
[Fragemnts to Hypotheses propagated
martin.hofmann@uni-bamberg.de**20081114141209] 
[monadic versions of ins del rep added
martin.hofmann@uni-bamberg.de**20081114141102] 
[signature of Rules changed -- isOpen deleted
martin.hofmann@uni-bamberg.de**20081114123656
 isOpen moved to the signature of Fragment 
] 
[internal data type constructor of Rule and Rules c
martin.hofmann@uni-bamberg.de**20081114121647] 
[new module Fragemnts created and implemented
martin.hofmann@uni-bamberg.de**20081114120738] 
[notes and ideas for rule advancement added
martin.hofmann@uni-bamberg.de**20081114120436] 
[partition default implementation
martin.hofmann@uni-bamberg.de**20081113100934] 
[comment testing
martin.hofmann@uni-bamberg.de**20081113100820] 
[Initial revision the second.
martin.hofmann@uni-bamberg.de**20081113091923] 
[Initial revision.
martin.hofmann@uni-bamberg.de**20081113090801] 
>