--- a/src/HOL/Induct/ROOT.ML Tue Apr 06 16:19:45 2004 +0200
+++ b/src/HOL/Induct/ROOT.ML Wed Apr 07 14:25:48 2004 +0200
@@ -1,5 +1,6 @@
time_use_thy "Mutil";
+time_use_thy "QuoDataType";
time_use_thy "Term";
time_use_thy "ABexp";
time_use_thy "Tree";