log src/monoize.sml

age author description
Sat, 01 Nov 2008 17:19:12 -0400 Adam Chlipala Fix some type-class detection