source: Deliverables/D4.1/Demo-March-2011/matita/String.ma @ 644

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

Committed files for demo on Friday. Binary search works with O'Caml emulator. Need to check with submitted version of Matita emulator.

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.