Starting with inventory:
0000001838-09c61d6bda4bc5a61cdebd4a5a2640205fca6fe0da79fca95a62b47fbbfaaa7e
[TAG tagged 0.5.5 (less bugs in Subfunction, CallDep are vital for introducing/matching functions, therefore SubfunIntro is simpler)
martin.hofmann@uni-bamberg.de**20090424063510] 
hash: 0000001347-10ae048fff8e6413023ed806b75465c1e11bae849bdfee6f65f771b287b58bb5
[wrong namespace
martin.hofmann@uni-bamberg.de**20090427070704] 
hash: 0000000276-c038811bfc93bba53e95042f7ab4a50593c8685058130df4b876efe81ceefb95
[translate TExp to Pat
martin.hofmann@uni-bamberg.de**20090427071427] 
hash: 0000000591-e3481d3d2dfd6501046f0cf924cf7e972ff1351d70ed3254a69b05c49af8c068
[modified data tyoe 'Position'
martin.hofmann@uni-bamberg.de**20090428093028
 MODIFIED: argument order of 'Dot' is now Dot :: Int -> Position -> Position
 MODIFIED: ctor 'P' is obsolete
 
] 
hash: 0000003195-08a4bea43798a30f48e386a7fbc6f5013c51556bc3a4229176bf6879df80edd2
[isVar, fromVar, toVar, member functions of Term
martin.hofmann@uni-bamberg.de**20090428120331] 
hash: 0000004386-92c20d21fe3d622eddf9e2a67d5994ab0360cfa79e214aa59f6b40076c1efe45
[accessor function for SynthesisContext
martin.hofmann@uni-bamberg.de**20090428121013] 
hash: 0000001415-205209bdc22f701bf7687908034be5fbcbecbb7ef6768005569c17d4e4ad9d31
[Use TExp instead of TPat in Rule
martin.hofmann@uni-bamberg.de**20090428123846] 
hash: 0000001757-1ad83af921ccb168501a6b341a03e8dc57fd304eb55b62c8c190564cbed53cff
[Do not allow sections in TInfixE, --> Maybes removed
martin.hofmann@uni-bamberg.de**20090428130320] 
hash: 0000007035-9c71b4196cbd94d4af5568d323a8a4be89f4d1079e619ae40140402068590c3d
[nasty hole-thing removed
martin.hofmann@uni-bamberg.de**20090428130755] 
hash: 0000035143-64132d56c5de726524deed09792d2c0687b51a23a3f81843ae2b96db8ee9c1bf
[implemented 'substitute' in terms of 'root', 'subterms' and 'applyAtPos'
martin.hofmann@uni-bamberg.de**20090428175300] 
hash: 0000007522-e0b3bea476941f1e2e4a5cc86fca57e7c4de67d0d3cc8dbc6e4193c287db7528
[nicer modification functions for Igor inside IM
martin.hofmann@uni-bamberg.de**20090430093310] 
hash: 0000000600-1bcf4c9a9998555e60321252021941fb93357347e1f1f4d14ffb9e58f31704a7
[Rulefrag renamed to CovrRule, frag to crul
martin.hofmann@uni-bamberg.de**20090430101604] 
hash: 0000011739-104e97889e4d5be5b94d23992d428fe214ab2a432a60127bf5881d5af2c4e85d
[Type *fiable -> *fiable
martin.hofmann@uni-bamberg.de**20090504094402] 
hash: 0000016080-ae0525013c307c8165a5d1818a56e048d1a6503ca876762e009d7d069cd8e65b
[compute allowed calls from a CallDep
martin.hofmann@uni-bamberg.de**20090506151922] 
hash: 0000001405-f31fd827df4c74173812a5cc60305732ecac93c38ddc3ccb0b6330ab7af05ede
[constructor for CovrRules, added field to store names of bkgrd functions
martin.hofmann@uni-bamberg.de**20090506152046] 
hash: 0000000891-3a75b4422a82f4e03685e4accae932334c7a7eb4407dbc74309ae6eea28b6c8c
[tpat2Call -> mkCall, changed mkCallAt
martin.hofmann@uni-bamberg.de**20090506152425] 
hash: 0000001948-a4c6eacbf84e98a874bc97cd869fde8b7d1880360ea39159333782befb2f2a39
[first matching implementation
martin.hofmann@uni-bamberg.de**20090506152619] 
hash: 0000003802-ad6e13f5d380d73f0aff956c3d98866ab05f0cdb36d9dc49b5cb6ec84d549489
[trivia, renaming, cosmetics, stuff i don't know where it belongs to
martin.hofmann@uni-bamberg.de**20090506152638] 
hash: 0000001136-92e5cb2fbaf22f20edbf5fa72abe2a868846c77d34b29d89ff280968722a34e5
[string cosmetics
martin.hofmann@uni-bamberg.de**20090507131405] 
hash: 0000000252-7b5a1a146da14ef3af2f7e2035b4b10bcce2b972242876f07c8626ffdb5c1a96
[included wildcards in matching, unify ..., matching runs without crash, but erroneous
martin.hofmann@uni-bamberg.de**20090507155141] 
hash: 0000008826-2dcc6b0560a6d357bc28eb56ccee656da72f1bc9f9d5776f19a4ba9c1c421ee1
[new version
martin.hofmann@uni-bamberg.de**20090507155502] 
hash: 0000000129-304d0744730b13ddf979c6cd37c30c60dbf288b069a295310fdc05bd70bd3856
