Changeset 1068 for src/common
- Timestamp:
- Jul 14, 2011, 2:27:41 PM (8 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/common/Identifiers.ma
r1058 r1068 108 108 ]. 109 109 110 axiom fold: 111 ∀A, B: Type[0]. 112 ∀tag: String. 113 (identifier tag -> A -> B -> B) -> identifier_map tag A -> B -> B. 114 110 115 (* Sets *) 111 116
Note: See TracChangeset
for help on using the changeset viewer.