--- a/src/HOL/ex/ROOT.ML Wed Mar 24 10:55:38 2004 +0100
+++ b/src/HOL/ex/ROOT.ML Thu Mar 25 05:37:32 2004 +0100
@@ -25,7 +25,6 @@
time_use_thy "mesontest2";
time_use_thy "PresburgerEx";
time_use_thy "BT";
-time_use_thy "AVL";
time_use_thy "InSort";
time_use_thy "Qsort";
time_use_thy "MergeSort";