src/Pure/Tools/ROOT.ML

--- a/src/Pure/Tools/ROOT.ML	Thu Apr 06 16:08:22 2006 +0200
+++ b/src/Pure/Tools/ROOT.ML	Thu Apr 06 16:08:25 2006 +0200
@@ -7,12 +7,12 @@
 (*class package*)
 use "class_package.ML";
 
+(*code generator, 1st generation*)
+use "../codegen.ML";
+
 (*code generator theorems*)
 use "codegen_theorems.ML";
 
-(*code generator, 1st generation*)
-use "../codegen.ML";
-
 (*code generator, 2nd generation*)
 use "codegen_thingol.ML";
 use "codegen_serializer.ML";