--- a/src/HOL/Induct/ROOT.ML Sun Feb 04 19:44:09 2001 +0100
+++ b/src/HOL/Induct/ROOT.ML Sun Feb 04 19:46:31 2001 +0100
@@ -4,7 +4,6 @@
time_use_thy "ABexp";
time_use_thy "Tree";
time_use_thy "Sigma_Algebra";
-time_use_thy "Perm";
time_use_thy "Comb";
time_use_thy "PropLog";
time_use_thy "SList";