Changeset 1068 for src/common

Timestamp:

Jul 14, 2011, 2:27:41 PM (10 years ago)

Author:

mulligan

Message:

rtlabs translation complete subject to axioms

File:

• src/common/Identifiers.ma (modified) (1 diff)

src/common/Identifiers.ma

@@ -108 +108 @@
   ].
 
+axiom fold:
+  ∀A, B: Type[0].
+  ∀tag: String.
+  (identifier tag -> A -> B -> B) -> identifier_map tag A -> B -> B.
+
 (* Sets *)