-DEFINITION
-AXIOM
-UNFINISHED PROOF
-VARIABLE
-TYPE =
+DEFINITION
+TYPE =
-BODY =
+
+BODY =
-TYPE =
+TYPE =
+
+UNFINISHED PROOF
THESIS:
+
CONJECTURES:
+
+
PROOF:
+ ]
OF ARITY
+
BUILT FROM:
+
+VARIABLE
TYPE =