# HG changeset patch
# User wenzelm
# Date 971905159 -7200
# Node ID 93ec82d535f22c617b9b613b125de81589360fd8
# Parent  d549f2534e6d30b0fc1ae8ffe43768d06b1f83f5
removed Acc and Multiset (see HOL/Library);

diff -r d549f2534e6d -r 93ec82d535f2 src/HOL/Induct/ROOT.ML
--- a/src/HOL/Induct/ROOT.ML	Wed Oct 18 23:38:41 2000 +0200
+++ b/src/HOL/Induct/ROOT.ML	Wed Oct 18 23:39:19 2000 +0200
@@ -6,8 +6,6 @@
 time_use_thy "Perm";
 time_use_thy "Comb";
 time_use_thy "Mutil";
-time_use_thy "Acc";
-time_use_thy "MultisetOrder";
 time_use_thy "PropLog";
 time_use_thy "SList";
 setmp quick_and_dirty false     (* FIXME tmp hack *)