src/ZF/ROOT.ML

--- a/src/ZF/ROOT.ML	Wed Jan 06 13:23:41 1999 +0100
+++ b/src/ZF/ROOT.ML	Wed Jan 06 13:24:33 1999 +0100
@@ -46,6 +46,7 @@
 use "Tools/datatype_package";
 use "Tools/primrec_package";
 use_thy "Datatype";
+use "Tools/induct_tacs";
 use_thy "InfDatatype";
 use_thy "List";