diff -r 63892cfef47f -r d1c6bff9ff58 src/Pure/ROOT
--- a/src/Pure/ROOT	Wed Sep 18 00:11:15 2013 +0200
+++ b/src/Pure/ROOT	Wed Sep 18 11:08:28 2013 +0200
@@ -130,7 +130,6 @@
     "Isar/proof_display.ML"
     "Isar/proof_node.ML"
     "Isar/rule_cases.ML"
-    "Isar/rule_insts.ML"
     "Isar/runtime.ML"
     "Isar/spec_rules.ML"
     "Isar/specification.ML"