--- a/src/Pure/ROOT.ML Mon Nov 14 15:15:34 2005 +0100
+++ b/src/Pure/ROOT.ML Mon Nov 14 15:23:33 2005 +0100
@@ -79,7 +79,6 @@
cd "Isar"; use "ROOT.ML"; cd "..";
use "axclass.ML";
-use "codegen.ML";
use "Proof/extraction.ML";
(*the IsaPlanner subsystem*)