src/HOL/ex/ROOT.ML
changeset 5866 de6a1856c74a
parent 5753 c90b5f7d0c61
child 6349 f7750d816c21
--- a/src/HOL/ex/ROOT.ML	Mon Nov 16 10:36:30 1998 +0100
+++ b/src/HOL/ex/ROOT.ML	Mon Nov 16 10:37:54 1998 +0100
@@ -21,7 +21,6 @@
 time_use     "cla.ML";
 time_use     "meson.ML";
 time_use     "mesontest.ML";
-(** time_use "mesontest2.ML";  ULTRA SLOW **)
 time_use_thy "BT";
 time_use_thy "InSort";
 time_use_thy "Qsort";