log tests/mproj.urp

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