Starting with inventory:
0000005135-208910283cebedc993e58c63cb13c54744823a580f1f4297adc86ad2460f728e
[TAG megteycto
John Meacham <john@repetae.net>**20060409114525] 
hash: 0000002806-1e2f9d956362610eea204cf50b5e8a9115985edb479b4f8d7a75ef0a8d1a782d
[add routines to Util.SetLike
John Meacham <john@repetae.net>**20060410045252] 
hash: 0000000268-f5d38348350487d07178552cdabe01a56ba92cffc036e7e0a7b90f50340b4e2f
[enable fixups of ho files, but not libraries
John Meacham <john@repetae.net>**20060410061621] 
hash: 0000000779-208721748ce7973816ba19bb8bdba2faf649f98f7dfe5a1379924f1fdc34a6ea
[get rid of unused functions in E/Rules
John Meacham <john@repetae.net>**20060410061651] 
hash: 0000000502-519daaa13c53059819606cd907794e9024cff193c4260c7b69ebee72b54d4d9e
[use new occurance analysis system in simplifier
John Meacham <john@repetae.net>**20060410093026] 
hash: 0000009424-e632bfb772e1e361293982f25e8a6ead82f1bb6e9b8bc4f6eba20e6aaf66f008
[get ride of unused ExportStatus type
John Meacham <john@repetae.net>**20060411000409] 
hash: 0000000390-c036e30499b60be2e16cd76e2adcef55c048551b008d654c089978b99ffa8bd1
[get rid of old occurrance checking code, separate occurance checking from simplification pass
John Meacham <john@repetae.net>**20060411001610] 
hash: 0000005808-0e75521a8ae0599a82752d656c706e079801e0fe63a2b76fa1d306617bde6f68
[don't tick zero ticks, be strict in key argument
John Meacham <john@repetae.net>**20060411014507] 
hash: 0000000250-34252599e70fcb0956651190eea07eca56ed9465a8a71996bfacd80fb47498cb
[add more context annotations to typechecking
John Meacham <john@repetae.net>**20060411014725] 
hash: 0000001170-5a7ff14a0097c9fa7831cf143d3538154540cf5414ab001537c79c1cb591c300
[switch to program based simplification rather than turning things into a single expression
John Meacham <john@repetae.net>**20060411014739] 
hash: 0000006800-051e90af06eb4701a3e71000a694db71bfcdfdc5acce42a52bb5f1602c5fd43a
[add strict ReaderWriter monad
John Meacham <john@repetae.net>**20060411021756] 
hash: 0000001798-8ebcb33b385d26e0823e314f1e9c6e4ccb274d53796cb9849ec09085d62e5933
[use strict ReaderWriter monad
John Meacham <john@repetae.net>**20060411021808] 
hash: 0000000358-3b371cfcd3a572b6b1cc274ab7ff5bddfce338dd7de9850d18c281099b5af3e2
[make unsafe coerce set case type properly
John Meacham <john@repetae.net>**20060411031145] 
hash: 0000000214-5152601b78ab5451f1940ac40ea94c4b40f0d1c5fa51b2c82197aff9b7c30678
[make substMap'' take a map of 'Maybe E' rather than just E
John Meacham <john@repetae.net>**20060411032337] 
hash: 0000000776-a3740713244045d9ca899860517c635759350e824b292927d3338c70c561eeb0
[use new substMap'' for applying substitutions, don't annotate variables that arn't let-bound with occurance info.
John Meacham <john@repetae.net>**20060411032506] 
hash: 0000004673-23330d168205a3283f9d954d8f4555792ba6f9bceefeb067337b4a41461e5972
[fix a few case simplifications which were getting InTerms and OutTerms confused
John Meacham <john@repetae.net>**20060411032656] 
hash: 0000000543-906b408a90a88de8855c4247785c20a45c7ff65de87137ec97d5aa3bf1c30446
[fix argument types to built in fromInteger rules
John Meacham <john@repetae.net>**20060411043945] 
hash: 0000000442-b9121f06efd85b55f1686d5023de0e96ea0e8e2b1192a5e20f5022d6b58af06d
[when in verbose mode, show type of case binder.
John Meacham <john@repetae.net>**20060411044018] 
hash: 0000000583-86535b38c232a02fa75b0a972185d22eacd7642b16c3850109acf49300e2219c
[make simplifier handle beta and pi expansion directly.
John Meacham <john@repetae.net>**20060411044041] 
hash: 0000002601-cd569bb17d96627c1ea6c2192d1816e87274e27161edca18ca03d5324bae9897
[don't count free variables that are inside of type arguments to variables
John Meacham <john@repetae.net>**20060411113640] 
hash: 0000000608-e1c7130f673bab0e49bb311669bdc827382432801e2b587075afd29d07aab0d2
[cache substitutions inside of environment for speed. no longer environment and substitution separately. fix several case optimizations.
John Meacham <john@repetae.net>**20060411113722] 
hash: 0000018741-7002d6ff316a336d9764e734d01368951534204b32a8783b7184c85b3c9132ff
[use new program based ssimplifier interface for initial optimization pass
John Meacham <john@repetae.net>**20060411113818] 
hash: 0000002589-cd115a7d8e5886d090ac133ffc76066440a114fbb5659486701aaaf64741f4ce
[include used and free ids in program structure. fill them in in occurance collection and use them in the simplifier.
John Meacham <john@repetae.net>**20060412053039] 
hash: 0000005999-a9deaf778683c5689c08bc86cd2e2069ae2258ab7156b86bf9f84d44495c36b3
[make eta expansion use the name generation monad from the simplifier
John Meacham <john@repetae.net>**20060412092314] 
hash: 0000002843-361b8f5fc6ef4a2693b32d73e5f5aafbfdaabf479b6c6c25ccde10fbbc33c78d
[document E tranlation with type aliases, rebuild subst cache when adding a list, rebuild subst cache when modifying env, show full names in e-verbose mode
John Meacham <john@repetae.net>**20060412232329] 
hash: 0000004684-2d11fbc72a3576ddbba6f4734713ee4dada9fca1eeed1130e051d95118ed6f4b
[print names of functions as simplification progresses
John Meacham <john@repetae.net>**20060412232530] 
hash: 0000001154-e47d61c92b975577a61a23e63786d028ede5f1d9df8bdf48ae3595323bce7544
