src/ZF/ROOT.ML
changeset 6112 5e4871c5136b
parent 6071 1b2392ac5752
child 6153 bff90585cce5
     1.1 --- a/src/ZF/ROOT.ML	Wed Jan 13 11:56:28 1999 +0100
     1.2 +++ b/src/ZF/ROOT.ML	Wed Jan 13 11:57:09 1999 +0100
     1.3 @@ -28,10 +28,10 @@
     1.4  use_thy "Fixedpt";
     1.5  use     "Tools/inductive_package";
     1.6  use_thy "Inductive";
     1.7 -use "Tools/induct_tacs";
     1.8 -use "Tools/primrec_package";
     1.9 +use     "Tools/induct_tacs";
    1.10 +use     "Tools/primrec_package";
    1.11  use_thy "QUniv";
    1.12 -use "Tools/datatype_package";
    1.13 +use     "Tools/datatype_package";
    1.14  use_thy "Datatype";
    1.15  use_thy "InfDatatype";
    1.16  use_thy "List";