src/Pure/ROOT.ML

 structure AxClass = AxClassFun(structure Logic = Logic
   and Goals = Goals and Tactic = Tactic);
 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";
 use "ROOT.ML";
 cd "..";