--- a/src/Pure/Pure.thy Wed Sep 18 00:11:15 2013 +0200
+++ b/src/Pure/Pure.thy Wed Sep 18 11:08:28 2013 +0200
@@ -103,6 +103,7 @@
begin
ML_file "Isar/isar_syn.ML"
+ML_file "Tools/rule_insts.ML";
ML_file "Tools/find_theorems.ML"
ML_file "Tools/find_consts.ML"
ML_file "Tools/proof_general_pure.ML"