diff -r 48b527d0331b -r 5091dc43817b src/Pure/Tools/ROOT.ML
--- a/src/Pure/Tools/ROOT.ML	Fri Mar 17 10:04:27 2006 +0100
+++ b/src/Pure/Tools/ROOT.ML	Fri Mar 17 14:19:24 2006 +0100
@@ -7,6 +7,9 @@
 (*class package*)
 use "class_package.ML";
 
+(*code generator theorems*)
+use "codegen_theorems.ML";
+
 (*code generator, 1st generation*)
 use "../codegen.ML";