source:
Deliverables/D4.1/Matita/String.ma
@
414
Last change on this file since 414 was 414, checked in by , 10 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.