diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 15:15:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 15:15:41 -0400 |
| commit | 6a144b5f5a7e85a02465aa25a19c3b5686e062cb (patch) | |
| tree | 9b8ec9f45e09d619e326c40706e38599a4ed9851 /tests/type_classMod.ur | |
| parent | 0ca7aad45b1581ab86d136aaf7829418e093bb24 (diff) | |
'eq' type class
Diffstat (limited to 'tests/type_classMod.ur')
0 files changed, 0 insertions, 0 deletions