src/HOL/ex/ROOT.ML

--- a/src/HOL/ex/ROOT.ML	Fri Nov 10 19:07:17 2000 +0100
+++ b/src/HOL/ex/ROOT.ML	Fri Nov 10 19:08:30 2000 +0100
@@ -11,7 +11,7 @@
 time_use_thy "NatSum";
 time_use     "cla.ML";
 time_use     "mesontest.ML";
-time_use     "mesontest2.ML";
+time_use_thy "mesontest2";
 time_use_thy "BT";
 time_use_thy "AVL";
 time_use_thy "InSort";