Go to file
Matthew Flatt 000fe5277f fine-tune typechecking index entry
svn: r12920

original commit: ec600c59bb9caa15f10fb68844677e56a4ce86dc
2008-12-21 13:57:46 +00:00
collects fine-tune typechecking index entry 2008-12-21 13:57:46 +00:00