changeset 11445 | 01ee48a80800 |
parent 10440 | 2074e62da354 |
child 11586 | d8a7f6318457 |
--- a/src/HOL/ex/ROOT.ML Mon Jul 23 17:45:07 2001 +0200 +++ b/src/HOL/ex/ROOT.ML Mon Jul 23 17:45:35 2001 +0200 @@ -33,10 +33,6 @@ time_use_thy "MonoidGroup"; time_use_thy "Records"; -(*groups via locales*) -time_use_thy "PiSets"; -time_use_thy "LocaleGroup"; - (*advanced concrete syntax*) time_use_thy "Tuple"; time_use_thy "Antiquote";