src/Pure/pure_setup.ML

--- a/src/Pure/pure_setup.ML	Sun May 18 17:03:16 2008 +0200
+++ b/src/Pure/pure_setup.ML	Sun May 18 17:03:20 2008 +0200
@@ -25,9 +25,6 @@
 Context.set_thread_data NONE;
 ThyInfo.register_theory Pure.thy;
 
-use_thy "CPure";
-structure CPure = struct val thy = theory "CPure" end;
-
 
 (* ML toplevel pretty printing *)