diff -r e1214fa781ca -r a7b3ab44d993 src/Pure/Isar/ROOT.ML
--- a/src/Pure/Isar/ROOT.ML	Thu Oct 04 14:42:11 2007 +0200
+++ b/src/Pure/Isar/ROOT.ML	Thu Oct 04 14:42:47 2007 +0200
@@ -41,7 +41,6 @@
 use "proof.ML";
 use "element.ML";
 use "net_rules.ML";
-use "induct_attrib.ML";
 
 (*derived theory and proof elements*)
 use "calculation.ML";