--- 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";