Go to file
Matthew Flatt 676b78504d fix problems in lex-rename simplification; other tiny improvements and doc repairs
svn: r12380

original commit: ad75c8aa580e4d32a976bd5983ab4f99a48496e5
2008-11-10 22:50:54 +00:00
collects fix problems in lex-rename simplification; other tiny improvements and doc repairs 2008-11-10 22:50:54 +00:00