Changeset 795 for src/common


Ignore:
Timestamp:
May 13, 2011, 12:29:06 PM (9 years ago)
Author:
mulligan
Message:

Changes from this morning.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/AST.ma

    r793 r795  
    517517inductive Compare: Type[0] ≝
    518518  Compare_Equal: Compare
     519| Compare_NotEqual: Compare
    519520| Compare_Less: Compare
    520521| Compare_Greater: Compare
Note: See TracChangeset for help on using the changeset viewer.