Ignore:
Timestamp:
Jan 20, 2011, 6:10:07 PM (9 years ago)
Author:
mulligan
Message:

Moved over to standard library.

File:
1 edited

Legend:

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

    r414 r465  
    11include "Char.ma".
    2 include "List.ma".
    3 include "Compare.ma".
    42
    5 ndefinition String ≝ List Char.
     3include "datatypes/list.ma".
    64
    7 naxiom string_lexicographic_ordering: String → String → Compare.
     5ndefinition String ≝ list Char.
Note: See TracChangeset for help on using the changeset viewer.