log tests/mproj.ur

age author description
2009-06-16 Adam Chlipala Fix a bug in type class enrichment from substructures