changeset 10259 | 93ec82d535f2 |
parent 9951 | 5610c4acb48d |
child 10566 | 7ed4f5a6c63f |
--- 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 *)