Changeset 1066 for src/utilities


Ignore:
Timestamp:
Jul 13, 2011, 5:12:10 PM (9 years ago)
Author:
mulligan
Message:

changes from today

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/utilities/Compare.ma

    r491 r1066  
    11include "basics/logic.ma".
    22
    3 inductive Compare: Type[0] ≝
    4   Compare_Equal: Compare
    5 | Compare_Less: Compare
    6 | Compare_Greater: Compare
    7 | Compare_LessEqual: Compare
    8 | Compare_GreaterEqual: Compare.
     3inductive compare: Type[0] ≝
     4  compare_equal: compare
     5| compare_less: compare
     6| compare_greater: compare
     7| compare_less_equal: compare
     8| compare_greater_equal: compare.
    99
Note: See TracChangeset for help on using the changeset viewer.