src/Pure/ROOT.ML
changeset 922 196ca0973a6d
parent 913 8aaa8c5a567e
child 1072 0140ff702b23
--- a/src/Pure/ROOT.ML	Thu Mar 02 12:07:20 1995 +0100
+++ b/src/Pure/ROOT.ML	Fri Mar 03 11:48:05 1995 +0100
@@ -65,6 +65,7 @@
 open BasicSyntax Thm Drule Tactical Tactic Goals;
 
 structure Pure = struct val thy = pure_thy end;
+structure CPure = struct val thy = cpure_thy end;
 
 (*Theory parser and loader*)
 cd "Thy";