src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Oct 22 11:36:43 1997 +0200
+++ b/src/Pure/ROOT.ML	Thu Oct 23 12:09:31 1997 +0200
@@ -48,8 +48,8 @@
 use "goals.ML";
 use "axclass.ML";
 
-structure Pure  = struct val thy = Theory.pure_thy end;
-structure CPure = struct val thy = Theory.cpure_thy end;
+structure Pure  = struct val thy = Theory.pure end;
+structure CPure = struct val thy = Theory.cpure end;
 
 (*Theory parser and loader*)
 cd "Thy";