# HG changeset patch
# User paulson
# Date 911209074 -3600
# Node ID de6a1856c74ad507dfe716a16efb8f81d56314a3
# Parent  2303f5a3036d9d92ff81090b2fc94071e732e0b7
removed the reference to mesontest2.ML, itself now deleted

diff -r 2303f5a3036d -r de6a1856c74a src/HOL/ex/ROOT.ML
--- 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";