src/HOL/ex/ROOT.ML
changeset 14482 82774ac788ae
parent 14462 e6550f190fe9
child 14494 48ae8d678d88
     1.1 --- a/src/HOL/ex/ROOT.ML	Wed Mar 24 10:55:38 2004 +0100
     1.2 +++ b/src/HOL/ex/ROOT.ML	Thu Mar 25 05:37:32 2004 +0100
     1.3 @@ -25,7 +25,6 @@
     1.4  time_use_thy "mesontest2";
     1.5  time_use_thy "PresburgerEx";
     1.6  time_use_thy "BT";
     1.7 -time_use_thy "AVL";
     1.8  time_use_thy "InSort";
     1.9  time_use_thy "Qsort";
    1.10  time_use_thy "MergeSort";