log tests/mutual.urs

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