--- a/src/HOL/ex/ROOT.ML Wed Mar 22 13:23:57 2000 +0100
+++ b/src/HOL/ex/ROOT.ML Thu Mar 23 10:22:08 2000 +0100
@@ -21,6 +21,7 @@
time_use "cla.ML";
time_use "meson.ML";
time_use "mesontest.ML";
+time_use "mesontest2.ML";
time_use_thy "BT";
time_use_thy "InSort";
time_use_thy "Qsort";