| 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";