New patches: [typo broke function name generation Don Stewart **20060823061200] { hunk ./FreeTheorem.hs 105 - let i = unique s + let i = uniquefn s } Context: [Add clean rename pass Don Stewart **20060823060008] [Fix ajb@spamcop.net**20060822012915] [Initial checkin. ajb@spamcop.net**20060822003321] Patch bundle hash: cf50b3a60a3e18348b5addb92287470defc38185