--- a/src/HOL/ex/ROOT.ML Thu May 04 18:40:57 2000 +0200
+++ b/src/HOL/ex/ROOT.ML Fri May 05 12:51:33 2000 +0200
@@ -23,6 +23,7 @@
time_use "mesontest.ML";
time_use "mesontest2.ML";
time_use_thy "BT";
+time_use_thy "AVL";
time_use_thy "InSort";
time_use_thy "Qsort";
time_use_thy "Puzzle";