log tests/type_class.urp

age author description
2009-03-26 Adam Chlipala Type class reductions, but no inclusions yet