diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-16 15:22:05 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-16 15:22:05 -0400 |
| commit | d889f05df404ac119cf864854e6fdfb4b5636472 (patch) | |
| tree | 2880c44d43f0095ce5c1ac7531a4cdff3ce4b730 /tests/mutual.urs | |
| parent | d2c553882cd29b3f0265b1e73916a83afb4edd59 (diff) | |
Mutual datatypes through Corify
Diffstat (limited to 'tests/mutual.urs')
0 files changed, 0 insertions, 0 deletions