src/HOL/ex/ROOT.ML
changeset 8797 b55e2354d71e
parent 8569 748a9699f28d
child 8933 de96f2982d2c
     1.1 --- a/src/HOL/ex/ROOT.ML	Thu May 04 18:40:57 2000 +0200
     1.2 +++ b/src/HOL/ex/ROOT.ML	Fri May 05 12:51:33 2000 +0200
     1.3 @@ -23,6 +23,7 @@
     1.4  time_use     "mesontest.ML";
     1.5  time_use     "mesontest2.ML";
     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 "Puzzle";