Matthew Flatt 72c0651986 fine-tune typechecking index entry ... svn: r12920 original commit: ec600c59bb9caa15f10fb68844677e56a4ce86dc		2008-12-21 13:57:46 +00:00
..
scribble	fine-tune typechecking index entry	2008-12-21 13:57:46 +00:00