[Initial revision.
martin.hofmann@uni-bamberg.de**20081113090801] 
hash: 0000000078-96c865a2fae98b3cdb911a3383528053d0fe603dd1eb59da85ee58ead9fce9d1
[Initial revision the second.
martin.hofmann@uni-bamberg.de**20081113091923] 
hash: 0000124754-de81a32ef91556886ecb829a7721261cd6328831705c8a7b8a10f0601ceb29d8
[comment testing
martin.hofmann@uni-bamberg.de**20081113100820] 
hash: 0000000206-dec8a3bbbf27b5c58b71c3e784c03f599c21ec3a920cc53bbfcf3facaf615e85
[partition default implementation
martin.hofmann@uni-bamberg.de**20081113100934] 
hash: 0000000260-c24ae8c0a36cd3f22ec19b0fa588b031bb325ab113a0a3a28268cb598161b8ee
[notes and ideas for rule advancement added
martin.hofmann@uni-bamberg.de**20081114120436] 
hash: 0000001735-c9fb6c3e453ca547e8ef7f7b746ce3ec5f58d8507733bc20d9aa5f932ef0f48d
[new module Fragemnts created and implemented
martin.hofmann@uni-bamberg.de**20081114120738] 
hash: 0000002379-e56c6b684252197ff144e111a8e1d32cccf7c209359c1800976e5b5e53e0891f
[internal data type constructor of Rule and Rules c
martin.hofmann@uni-bamberg.de**20081114121647] 
hash: 0000001539-c4cc4b99db22171acfa362fca8eba35f53e00aa196dd217dbdf0b69e5a288597
[signature of Rules changed -- isOpen deleted
martin.hofmann@uni-bamberg.de**20081114123656
 isOpen moved to the signature of Fragment 
] 
hash: 0000000402-24b9818450b2c4094640267d28b32f4132acc3ba42d2ce54207d95e843ba0d06
[monadic versions of ins del rep added
martin.hofmann@uni-bamberg.de**20081114141102] 
hash: 0000001181-8a8d3218cbf444cd2fe24a43ac0a112e6851350ec2a96c8153c848826e5eed0a
[Fragemnts to Hypotheses propagated
martin.hofmann@uni-bamberg.de**20081114141209] 
hash: 0000002938-9fdfa44fbae71113070af2fd3b0e1d2d935481a354714acdea6838e4d09d4060
[monadic versions of ins del rep added
martin.hofmann@uni-bamberg.de**20081114141307] 
hash: 0000000895-c43d00f922c7773d061ea42ed93c6072a2c865e79241f009e8e08e8e055fd691
[Fragments propagated to HypoSpace
martin.hofmann@uni-bamberg.de**20081117090224] 
hash: 0000005608-113339609cd1407dc681174093221849346c6926419d0320d1b3c1ef66733eaa
[RuleFrags propagated to Advancements
martin.hofmann@uni-bamberg.de**20081117123027] 
hash: 0000000889-708b465f06baec996fb3d15aa8f281a85e622142276be1dc3b3663c974873d33
[Initial change for new module Initialiser
martin.hofmann@uni-bamberg.de**20081117123114] 
hash: 0000004957-12c54bd3c19380577b177a4e88eade982c09e6243525006294ade1c99c3155d7
[tidied up Fragments
martin.hofmann@uni-bamberg.de**20081118153943] 
hash: 0000001228-d64705d35140a4cfc9db69bfcbc4dc70fb2a7d5f964ca3d6726e33cd6c545b3d
[tidied up Rules
martin.hofmann@uni-bamberg.de**20081118154212] 
hash: 0000001916-a05cc2060a22024e7ec6f07b67b0d0b9adf12fe03a8b5479d52c879cca6b50a6
[module ExpEvaluator added, initial change
martin.hofmann@uni-bamberg.de**20081119094537] 
hash: 0000003047-6881aca991f7a2766651a78def8c85ee8173c0f7c4cba1787711f28a8ff41f1b
[module CallDependencies initial record
martin.hofmann@uni-bamberg.de**20081121125627] 
hash: 0000006070-66e19071c260f58ed6c28c1e9f0572f76df833365c0a09862eeb17de08d0fc22
[CallDependencies propagated to Hypotheses
martin.hofmann@uni-bamberg.de**20081121125730] 
hash: 0000001615-94bc6d00eb586a92274ed811d478659699098995002f6a9813626d846f35e8be
[new type Call added
martin.hofmann@uni-bamberg.de**20081121142149] 
hash: 0000000946-bcc32e89659dfedbd77b5774732bca3b3e7a4483dec1e0b7255785a9ef67ae07
[function for developing a Hypo added, and various minor changes
martin.hofmann@uni-bamberg.de**20081121142235] 
hash: 0000001756-fd35ff8d5be9c4951d0e8f87693635c9b4313cb4e4058e41868e3d5a5870cba3
['propagate' in HypoSpace and related in Hypos
martin.hofmann@uni-bamberg.de**20081124093039] 
hash: 0000004779-6d2ec3ba0803a8fdca130328e11ba490e9edde3202523e9c10305f4ef3ce0ebe
[rename empty in CallDependencies and HSpace
martin.hofmann@uni-bamberg.de**20081126091123
 empty -> noCalls in CallDependencies
 initHSpace -> emptyHSpace in HypoSpace
 initHSpace added
] 
hash: 0000001360-6b1b3e1a7c87609981e9de648c1dee29043f22e9589570f5d64d6f80315080a1
[initIgor sketched
martin.hofmann@uni-bamberg.de**20081126092741] 
hash: 0000000725-a0fe437808cf553d37acbc4ead1ef4d0cf5fb6cc7cbc5b429d4e3affe10524bb
[some functionality of IgorMonad sketched
martin.hofmann@uni-bamberg.de**20081126092920] 
hash: 0000001279-d487050c382289062187575ba3a023791688f19324de47b29e28af9af8ec982a
[simplified Logger
martin.hofmann@uni-bamberg.de**20081126093153
 removed ErrorT from LoggerMonad and added a simple Monad for logging (EL)
] 
hash: 0000002236-f5ccaf94f12e1ddfa2e29767e94e5ff23fa338ed5feeecc894c11024fa83416f
[some minar changes (typos,...)
martin.hofmann@uni-bamberg.de**20081126093546] 
hash: 0000001134-59cdb25e5fcfccbc7998641397d3e0d2842fa1c26d1306af4dad0beb2df7a000
[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
] 
hash: 0000001162-d4567cdfafd3e8c2f1a67f4d445f8e6c4d618b2cbd75b2c1ba81223cf15c99ac
[type check, comments, and various imports added
martin.hofmann@uni-bamberg.de**20081126095044] 
hash: 0000001993-fcce57df42e56eb5ee65430f7f29ba6a1f9b6eeb1a0a73fcb5441256dba3eb1e
[Logging Monad simplified
martin.hofmann@uni-bamberg.de**20081126154240
 EL renamed to LM
 LM is not a MonadTransformer anymore
 changes propagated
] 
hash: 0000011453-3975d6e8a929300df14fee5e64a782a88b10962c1e687ac5d5de613b9184ca4d
[openPositions, freeVars, hasFreevars added
martin.hofmann@uni-bamberg.de**20081126154801] 
hash: 0000001541-19b5edacaa6807e90e8e56da3e669fd38095e4e3091920df124ccb500a24d463
[renaming, organising...
martin.hofmann@uni-bamberg.de**20081126154903] 
hash: 0000002573-d0296f7b0cb42b92aa847458c76455b638779e0525d41a10e8a9796fb9255f4e
[toRule fromRule
martin.hofmann@uni-bamberg.de**20081126155244] 
hash: 0000000349-de71e9254576a22bef1f4eb93b4530bcf7af60079a2aa8d091758715f1336766
[organise imports/exports
martin.hofmann@uni-bamberg.de**20081126155339] 
hash: 0000000707-381b1cedac6a8f4dadd6c80f755b08555a9b103eb7e5aa92c960fd8f3e5ee44e
[commenting superfluous funs
martin.hofmann@uni-bamberg.de**20081126155505] 
hash: 0000000232-799ff72a10340835ff642d759e18844ebb6597ea8f752af3913f8363e6553ef1
[instance Size [Pat]
martin.hofmann@uni-bamberg.de**20081126155808
 Don't know anymore why I needed this
] 
hash: 0000000229-342df48dd8d5cc87265cb2397db504e6946fd955b49259462f5ecb6c0f8b18bc
[instance Antiunifieable Rule
martin.hofmann@uni-bamberg.de**20081126161500
 need to reorganise import/exports tp prevent cycle
] 
hash: 0000001024-6b65529f246f9eb9dc55533511f1a40a95ce74a0fbc6ebddd7bfb3bac06fed07
[impl of mkInitialHypo
martin.hofmann@uni-bamberg.de**20081126161612] 
hash: 0000000640-f3ea2dd098757e703144b2b11ab66bcfd05a05af24f2d51756dd9c3f571edb58
[converter functions from/to Dec/Rules
martin.hofmann@uni-bamberg.de**20081127103600] 
hash: 0000001343-ed59ea55aa36735f05e0cb50f16aebc53c4fb0ceeaff100aaf9303564a2877e7
[a first implementation of the synthesis loop
martin.hofmann@uni-bamberg.de**20081127103701] 
hash: 0000002738-1b7170f1c0b8fbea4a3ed90fe829d96209a2fa4acd062f626ad843204f764d48
[renaming, organise exports, changed map sig
martin.hofmann@uni-bamberg.de**20081127103938] 
hash: 0000000687-636f7289c23e689c947c4d4d2c5e7bebfa42dc6e2915902101ce71a1fe7becc5
[renaming and organise exports
martin.hofmann@uni-bamberg.de**20081127104221] 
hash: 0000000352-8a145f1e6139fe9e0ccab26a014235d0b377497eb97bce7956f766b1ca7c4d2d
[cosmetics
martin.hofmann@uni-bamberg.de**20081127104242] 
hash: 0000000123-548c0ca43ff24e86da91638ebabe66ff9869fae381d725a2045f3fd8dd82b94f
[tried to debug HypoSpace
martin.hofmann@uni-bamberg.de**20081203143936
 unsuccessful attempt to debug HypoSpace, at least the code is shorter and cleaner now
] 
hash: 0000006242-78102a3e9fe35d0aca00ec11fe073e523079fa71e2eace400359383193aa400b
[Main and Test modified
martin.hofmann@uni-bamberg.de**20081203144553] 
hash: 0000006609-eeb38a4c778c1682d643a7228c3bb827a82dc07c465ead6ec744509b8c6fbbbc
[outer Igor loop first implementation running (bug)
martin.hofmann@uni-bamberg.de**20081203144705
 <<loop>> somewhere in HypoSpace when deleting a hypo
] 
hash: 0000008653-b0d2450d9e9daa8952fdc04144fba34e1e66bf1e4913cbd76c416f0d29014cc9
[minor changes, strictness, size, organise im/ex
martin.hofmann@uni-bamberg.de**20081203145248] 
hash: 0000000907-2ce1b3fddba92e197832658cca9311fb6d160c47e6dbd290f88f7f25b1352603
[strictness, orgnise im/ex, mbInsert mbDelete minor changes
martin.hofmann@uni-bamberg.de**20081203145331] 
hash: 0000002480-36e06dcb45bde4b17d90ba5fd9c2324959f262f33dc496c7e0c692ae50682be2
[minor changes, strictness organise im/ex
martin.hofmann@uni-bamberg.de**20081203145450] 
hash: 0000001239-20c4269027f67b84374bf76ac7ca50dc19e6a246242f1233bafe626d06facd74
[bugfix initIOData helpers coverRules propagate
martin.hofmann@uni-bamberg.de**20081203145545] 
hash: 0000000930-b3af032f1e1e9fb5f4acc1676120caf48c082b2fa6a8692a7d58096f24799747
[testing data added
martin.hofmann@uni-bamberg.de**20081203145640] 
hash: 0000004618-eb4de1b5a436ceeb287c616232752484078cc7287a7e5ff50c2a75423470834a
[debugging added
martin.hofmann@uni-bamberg.de**20081203145703] 
hash: 0000000386-b73b9c90a7be70beb6a7098c24d467be2cc5f10c6f5a8f6afc358b65610c601e
[cpsfold
martin.hofmann@uni-bamberg.de**20081203145728] 
hash: 0000000191-e03c8f3c9ce7506faea4f1ccc07bbac97f61e5cc30630e7783451fdf6ab35909
