+++ /dev/null
-type theory_elem =
- Theorem of string (* uri *)
- | Definition of string (* uri *)
- | Axiom of string (* uri *)
- | Variable of string (* uri *)
- | Section of string * theory_elem list (* uri, subtheory *)
-and theory =
- string * theory_elem list (* uri, subtheory *)
-;;