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