changeset 2987 | becc227bad4d |
parent 2280 | eb2ba30c2981 |
child 3125 | 3f0ab2c306f7 |
--- a/src/HOL/ex/ROOT.ML Fri Apr 18 11:53:16 1997 +0200 +++ b/src/HOL/ex/ROOT.ML Fri Apr 18 11:53:55 1997 +0200 @@ -27,7 +27,7 @@ time_use_thy "NatSum"; time_use "set.ML"; time_use_thy "SList"; -time_use_thy "LList"; +time_use_thy "LFilter"; time_use_thy "Acc"; time_use_thy "PropLog"; time_use_thy "Term";