--- a/src/HOL/Induct/ROOT.ML Fri Oct 23 12:56:13 1998 +0200
+++ b/src/HOL/Induct/ROOT.ML Fri Oct 23 12:57:44 1998 +0200
@@ -19,5 +19,5 @@
time_use_thy "SList";
time_use_thy "LFilter";
time_use_thy "Term";
-time_use_thy "Simult";
+time_use_thy "ABexp";
time_use_thy "Exp";