--- a/src/HOL/ex/ROOT.ML Mon Jul 26 16:29:59 1999 +0200 +++ b/src/HOL/ex/ROOT.ML Mon Jul 26 16:30:50 1999 +0200 @@ -29,6 +29,7 @@ time_use "set.ML"; time_use_thy "MT"; +time_use_thy "Tarski"; time_use_thy "StringEx"; time_use_thy "BinEx";