src/ZF/ROOT.ML
changeset 6065 3b4a29166f26
parent 6053 8a1059aa01f0
child 6070 032babd0120b
     1.1 --- a/src/ZF/ROOT.ML	Wed Jan 06 13:23:41 1999 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Wed Jan 06 13:24:33 1999 +0100
     1.3 @@ -46,6 +46,7 @@
     1.4  use "Tools/datatype_package";
     1.5  use "Tools/primrec_package";
     1.6  use_thy "Datatype";
     1.7 +use "Tools/induct_tacs";
     1.8  use_thy "InfDatatype";
     1.9  use_thy "List";
    1.10