--- a/ex/ROOT.ML Mon Jan 24 15:59:02 1994 +0100 +++ b/ex/ROOT.ML Mon Jan 24 15:59:44 1994 +0100 @@ -13,6 +13,7 @@ time_use "ex/cla.ML"; time_use "ex/meson.ML"; time_use "ex/mesontest.ML"; +time_use_thy "ex/Qsort"; time_use_thy "ex/LexProd"; time_use_thy "ex/Puzzle"; time_use "ex/set.ML";