src/Pure/ROOT.ML
changeset 1528 608dd813b437
parent 1498 7b7d20e89b1b
child 1582 97a305db0c9e
--- a/src/Pure/ROOT.ML	Thu Feb 29 18:54:46 1996 +0100
+++ b/src/Pure/ROOT.ML	Fri Mar 01 10:17:37 1996 +0100
@@ -33,6 +33,7 @@
 use "unify.ML";
 use "net.ML";
 use "logic.ML";
+use "theory.ML";
 use "thm.ML";
 use "drule.ML";
 use "tctical.ML";
@@ -40,8 +41,8 @@
 use "goals.ML";
 use "axclass.ML";
 
-structure Pure = struct val thy = pure_thy end;
-structure CPure = struct val thy = cpure_thy end;
+structure Pure  = struct val thy = Theory.pure_thy end;
+structure CPure = struct val thy = Theory.cpure_thy end;
 
 (*Theory parser and loader*)
 cd "Thy";