source: Deliverables/D4.1/Matita/String.ma @ 414

Last change on this file since 414 was 414, checked in by mulligan, 9 years ago

Got a few more cases working.

File size: 164 bytes
Line 
1include "Char.ma".
2include "List.ma".
3include "Compare.ma".
4
5ndefinition String ≝ List Char.
6
7naxiom string_lexicographic_ordering: String → String → Compare.
Note: See TracBrowser for help on using the repository browser.