--- a/src/HOL/ex/ROOT.ML Tue Mar 25 09:49:45 2003 +0100
+++ b/src/HOL/ex/ROOT.ML Tue Mar 25 09:50:53 2003 +0100
@@ -23,6 +23,7 @@
time_use "cla.ML";
time_use "mesontest.ML";
time_use_thy "mesontest2";
+time_use_thy "PresburgerEx";
time_use_thy "BT";
time_use_thy "AVL";
time_use_thy "InSort";