diff -r a99879bd9f13 -r 032babd0120b src/ZF/ROOT.ML
--- a/src/ZF/ROOT.ML	Thu Jan 07 11:08:29 1999 +0100
+++ b/src/ZF/ROOT.ML	Thu Jan 07 18:30:55 1999 +0100
@@ -42,11 +42,11 @@
 use_thy "Fixedpt";
 use     "Tools/inductive_package";
 use_thy "Inductive";
+use "Tools/induct_tacs";
+use "Tools/primrec_package";
 use_thy "QUniv";
 use "Tools/datatype_package";
-use "Tools/primrec_package";
 use_thy "Datatype";
-use "Tools/induct_tacs";
 use_thy "InfDatatype";
 use_thy "List";