X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2Ftheory.ml;fp=helm%2Finterface%2Ftheory.ml;h=0000000000000000000000000000000000000000;hb=fa11ed6dc134f8ad3421c37a97271018e075bbed;hp=be5b288b31149e121b2f1c07ac525d21ef05042e;hpb=c03d2c1fdab8d228cb88aaba5ca0f556318bebc5;p=helm.git

diff --git a/helm/interface/theory.ml b/helm/interface/theory.ml
deleted file mode 100644
index be5b288b3..000000000
--- a/helm/interface/theory.ml
+++ /dev/null
@@ -1,9 +0,0 @@
-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 *)
-;;