diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-10-21 11:19:17 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-21 11:19:17 -0400 |
| commit | eaa8b82f581b0b2c59e4867b2f5455084b6b181b (patch) | |
| tree | 922127dfce596e6b321b6c1d4b695460491325e6 /tests/case.ur | |
| parent | 8d110361aec2e04253f964b304d3c42e35bdb918 (diff) | |
ord_float and ord_bool
Diffstat (limited to 'tests/case.ur')
0 files changed, 0 insertions, 0 deletions