source:
Deliverables/D4.1/Matita/String.ma
@
414
| Last change on this file since 414 was 414, checked in by , 9 years ago | |
|---|---|
| File size: 164 bytes | |
| Line | |
|---|---|
| 1 | include "Char.ma". |
| 2 | include "List.ma". |
| 3 | include "Compare.ma". |
| 4 | |
| 5 | ndefinition String ≝ List Char. |
| 6 | |
| 7 | naxiom string_lexicographic_ordering: String → String → Compare. |
Note: See TracBrowser
for help on using the repository browser.
