src/Pure/Isar/ROOT.ML

--- a/src/Pure/Isar/ROOT.ML	Wed Oct 03 20:58:27 2001 +0200
+++ b/src/Pure/Isar/ROOT.ML	Wed Oct 03 21:01:53 2001 +0200
@@ -16,6 +16,7 @@
 use "args.ML";
 use "attrib.ML";
 use "net_rules.ML";
+use "induct_attrib.ML";
 use "method.ML";
 
 (*derived proof elements*)