Ignore:
Timestamp:
Dec 13, 2010, 6:03:05 PM (9 years ago)
Author:
mulligan
Message:

Got a few more cases working.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/String.ma

    r329 r414  
    11include "Char.ma".
    22include "List.ma".
     3include "Compare.ma".
    34
    45ndefinition String ≝ List Char.
     6
     7naxiom string_lexicographic_ordering: String → String → Compare.
Note: See TracChangeset for help on using the changeset viewer.