Changeset 1068 for src/common


Ignore:
Timestamp:
Jul 14, 2011, 2:27:41 PM (8 years ago)
Author:
mulligan
Message:

rtlabs translation complete subject to axioms

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Identifiers.ma

    r1058 r1068  
    108108  ].
    109109
     110axiom fold:
     111  ∀A, B: Type[0].
     112  ∀tag: String.
     113  (identifier tag -> A -> B -> B) -> identifier_map tag A -> B -> B.
     114
    110115(* Sets *)
    111116
Note: See TracChangeset for help on using the changeset viewer.