log tests/type_classMod2.lac

age author description
Sat, 16 Aug 2008 16:57:21 -0400 Adam Chlipala Signature ascription for type classes