removed Acc and Multiset (see HOL/Library);
authorwenzelm
Wed Oct 18 23:39:19 2000 +0200 (2000-10-18)
changeset 1025993ec82d535f2
parent 10258 d549f2534e6d
child 10260 6c31c8bb78e8
removed Acc and Multiset (see HOL/Library);
src/HOL/Induct/ROOT.ML
     1.1 --- a/src/HOL/Induct/ROOT.ML	Wed Oct 18 23:38:41 2000 +0200
     1.2 +++ b/src/HOL/Induct/ROOT.ML	Wed Oct 18 23:39:19 2000 +0200
     1.3 @@ -6,8 +6,6 @@
     1.4  time_use_thy "Perm";
     1.5  time_use_thy "Comb";
     1.6  time_use_thy "Mutil";
     1.7 -time_use_thy "Acc";
     1.8 -time_use_thy "MultisetOrder";
     1.9  time_use_thy "PropLog";
    1.10  time_use_thy "SList";
    1.11  setmp quick_and_dirty false     (* FIXME tmp hack *)