source: Deliverables/D4.1/Demo-March-2011/matita/ @ 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
1include "".
2include "".
3include "".
5ndefinition String ≝ List Char.
7naxiom string_lexicographic_ordering: String → String → Compare.
Note: See TracBrowser for help on using the repository browser.