--- 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";