author | wenzelm |
Wed, 13 Sep 2000 22:29:37 +0200 | |
changeset 9951 | 5610c4acb48d |
parent 9950 | 879e88b1e552 |
child 9952 | 24914e42b857 |
--- a/src/HOL/Induct/ROOT.ML Wed Sep 13 22:29:17 2000 +0200 +++ b/src/HOL/Induct/ROOT.ML Wed Sep 13 22:29:37 2000 +0200 @@ -10,6 +10,7 @@ time_use_thy "MultisetOrder"; time_use_thy "PropLog"; time_use_thy "SList"; +setmp quick_and_dirty false (* FIXME tmp hack *) time_use_thy "LFilter"; time_use_thy "Term"; time_use_thy "ABexp";