Starting with inventory:
0000001372-8a12f391bc403ff1d4033bdf038634665710e7d5878eef1f12992d15291ab0a2
[TAG 0.4.2 (numberOfPartitions as evaluation criteria for Hypos)
martin.hofmann@uni-bamberg.de**20090126142415] 
hash: 0000000895-a3af58124fae7ce30bad01b32c31d3b3afdbfa495507dd53ae5deb11b7e56149
[move pretty printing functions from Logging.Logger to Logging.PrettyPrinter
martin.hofmann@uni-bamberg.de**20090126144723] 
hash: 0000009025-d8fb6fc8472d604206de3a676a305227c1e77e4e99cfa5af3b44eeca7f059dc3
[code cosmetics
martin.hofmann@uni-bamberg.de**20090128110400] 
hash: 0000000659-c26b2b4704618c09f5d4d4c1bbf49f5ab24b937cdec6357ace477e34208991fa
[Notes und commented implementation of a LM with Q as inner monad
martin.hofmann@uni-bamberg.de**20090128161719] 
hash: 0000001182-8d13fb37b64ce2da9e5e61eee1de9db98f397c34f620f1d1a72af66f6edc107e
[code cosmetics, pointfree, haddock, etc.
martin.hofmann@uni-bamberg.de**20090211135019] 
hash: 0000000906-0d6885825c873919857ff47cedf77fc28103daf1c05beeb18530a2600d02437b
[removed unnecessary imports/exports
martin.hofmann@uni-bamberg.de**20090211135830] 
hash: 0000000149-7a9d339cd361189938f226f2203c978dea5ef272ffd49f516f9ece07b44a724d
[Equality on terms based on matching, selectors and observers for terms
martin.hofmann@uni-bamberg.de**20090211140142
 Terms/Unifier.hs:
 	- equal t1 t2 = matches t1 t2 && matches t2 t1
 	- equalLs as extension for Lists
 	- matches t1 t2 == True iff matching algorithm does not fail --> `catchError` used
 	- matchesLs as extension for lists
 Terms/Class.hs:
 	ctorAt, varAt, sameSymAt
 
] 
hash: 0000009492-bf1f0d7e0a1d0f3c64982c882ebefa139d2fc86f6e2f2d68a0f72f3d8dc6b48a
[ equality of Rules modulo variable renaming
martin.hofmann@uni-bamberg.de**20090211141240] 
hash: 0000002223-28bc33ca262ac3b92b07dc807e12af1b22cfe893529a0c8acfac61ffd8807138
[Bugfix in pattern matching Exp and Pat
martin.hofmann@uni-bamberg.de**20090218090730
 match t@(AppE _ _)(TupE s)	 for up to 10-tuples
 match (TupE s) t@(AppE _ _)	 for up to 10-tuples
 match (ListE [])c@(ConE n)	 for n == '([])
 match c@(ConE n)(ListE [])       for n == '([])
 simialr for unify and Pat
 match(ConP n []) (ListP [])	 for n == '(:)
 match(ConP n ([p,ps])) (ListP (s:ss)) for n == '(:)
] 
hash: 0000018981-7ff9f31e6d44eb12417437e5f267db092ee4b141a028d9f8b83afdbb665fc9e1
[no Logging in Antiunifier
martin.hofmann@uni-bamberg.de**20090218091530] 
hash: 0000001943-b83056596d256cfdfdd57d570469f82f4b95de182cfba2fc32eb28e5d39c2dd0
[converting Exp <-> Pat, Bugfix in subterms
martin.hofmann@uni-bamberg.de**20090218091718] 
hash: 0000005794-af11e29d0fb4fbab8f9f8aafeba7881a60d49b056f586c1352fd1f49d5dc402f
[prettier printing, code cosmetics
martin.hofmann@uni-bamberg.de**20090218092833] 
hash: 0000006641-4e64f2df49b03ff45ec9696e54a21d921a4a4e07b292f993d763d2fa32e4f800
[prettier printing
martin.hofmann@uni-bamberg.de**20090218121954] 
hash: 0000000366-30452f051c63a7575e077195ff721c38110d51021ba120eec41874c850c9a573
[subsumesLs
martin.hofmann@uni-bamberg.de**20090218122030] 
hash: 0000000843-d55dbcd9d51565337683f9f281e701d13fa5f9033eb154998c9d9858ed89d9a1
[code cosmetics
martin.hofmann@uni-bamberg.de**20090218122231] 
hash: 0000003388-3f3a04e19a7185c392ea87153539a5d70a8aced027e3f1134256f678f1785874
[minor changes
martin.hofmann@uni-bamberg.de**20090218122433] 
hash: 0000001486-734d34645748de5ecfecf9cbd96188ec4aad8a9cc6e13dec2da14d96a73699ca
[ Introducing subfunction
martin.hofmann@uni-bamberg.de**20090218122713] 
hash: 0000013486-a2a7c1c755cbc369eeffdfb11ed7b11738b605d2fcef60c3f78357c666637087
