log tests/mutual.ur

age author description
2009-05-16 Adam Chlipala Mutual datatypes through Effectize
2009-05-16 Adam Chlipala Mutual datatypes through Elaborate