source: Deliverables/D4.1/DemoFinal/matita/String.ma @ 3174

Last change on this file since 3174 was 671, checked in by mulligan, 10 years ago

Finished demo script for tomorrow.

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.