helm/interface/theory.ml

   1 type theory_elem =
   2    Theorem of string                    (* uri *)
   3  | Definition of string                 (* uri *)
   4  | Axiom of string                      (* uri *)
   5  | Variable of string                   (* uri *)
   6  | Section of string * theory_elem list (* uri, subtheory *)
   7 and theory =
   8  string * theory_elem list              (* uri, subtheory *)
   9 ;;