src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Thu Aug 03 17:30:40 2006 +0200
+++ b/src/Pure/Isar/ROOT.ML	Thu Aug 03 17:30:41 2006 +0200
@@ -61,6 +61,7 @@
 use "outer_syntax.ML";
 
 (*theory and proof operations*)
+use "rule_insts.ML";
 use "../simplifier.ML";
 use "find_theorems.ML";
 use "isar_thy.ML";