--- a/src/Pure/Isar/ROOT.ML Fri Apr 20 11:21:41 2007 +0200
+++ b/src/Pure/Isar/ROOT.ML Fri Apr 20 11:21:42 2007 +0200
@@ -11,6 +11,7 @@
use "auto_bind.ML";
use "local_syntax.ML";
use "proof_context.ML";
+use "../axclass.ML";
use "local_defs.ML";
(*outer syntax*)
@@ -41,13 +42,17 @@
use "net_rules.ML";
use "induct_attrib.ML";
+(*code generator base*)
+use "../Tools/codegen_consts.ML";
+use "../Tools/codegen_func.ML";
+use "../Tools/codegen_data.ML";
+
(*derived theory and proof elements*)
use "local_theory.ML";
use "calculation.ML";
use "obtain.ML";
use "locale.ML";
use "spec_parse.ML";
-use "../axclass.ML";
use "../Tools/class_package.ML";
use "theory_target.ML";
use "specification.ML";