Starting with inventory:
0000004665-ecd46b7aa00c5dae4505d6993b8734f9c825803bfef262fb9ecb3ed60a8ca6c6
[TAG 0.7.0.0 (generic cata, started experimenting with heuristic [not used], various bugfixes)
martin.hofmann@uni-bamberg.de**20100107153653] 
hash: 0000002578-3c88936a4549fd18292bb15f6224514a411e8ec4ea39b5442088f71d9416fcaf
[BUGFIX: distinguish between empty list and infix cons list in sameSymAtRoot
martin.hofmann@uni-bamberg.de**20100107153748] 
hash: 0000001158-461134265720a7410595cd710672aff4d476c4c8736088cea574d341f62a6398
[BUGFIX: Try all arguments for list cata
martin.hofmann@uni-bamberg.de**20100107162525] 
hash: 0000000874-fccb536300831d9a1500ff4671f6bc38c4924e196d093430eceb375aad23d90c
[BUGFIX: unused vars at matching are also those occurring in both rhss
martin.hofmann@uni-bamberg.de**20100108073656] 
hash: 0000000959-788330ce9b5e7422d9fca75c646951a09298df5d81ea3ccf61822a99905b8aeb
[assured that every ue of 'getVars' deals with unique list of vars
martin.hofmann@uni-bamberg.de**20100108081754] 
hash: 0000001253-d2db528fef325212325b292ae828145d57dc66ed6dd2a8ee51d5041aee924a7b
[started to rename duplicate vars (commented)
martin.hofmann@uni-bamberg.de**20100108082016] 
hash: 0000000934-cc2e78fcac90a23b18acb227c910411badca92fda3dc9ffbae0cf9854176dbd2
[matching Vars are only ignore if they have the same name and type!
martin.hofmann@uni-bamberg.de**20100108082115] 
hash: 0000000505-11bf7cb85d8520a54d6673b9cf86b21e823312242b1d51f8ae5950cc71d2a541
[layout
martin.hofmann@uni-bamberg.de**20100108082128] 
hash: 0000000313-33f89442e9ac460c7bf6afaf1043fa103050a939b2028a40b819b609a6f1b1aa
[versioning
martin.hofmann@uni-bamberg.de**20100108085934] 
hash: 0000000195-c05ca8648d62c29b6b40e8cfe424bdbd01714256ecccacc4e9cf0d747af7d213
