# HG changeset patch
# User paulson
# Date 831371994 -7200
# Node ID 8b677c7e18bc5e1a3126a894bdbcea329ec1cbf6
# Parent  eaecc8be539b51fcfc995573f8fe7b2f60150f42
Now mentions but does not load mesontest2.ML

diff -r eaecc8be539b -r 8b677c7e18bc src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Fri May 03 17:40:05 1996 +0200
+++ b/src/HOL/ex/ROOT.ML	Mon May 06 10:39:54 1996 +0200
@@ -13,6 +13,7 @@
 time_use     "cla.ML";
 time_use     "meson.ML";
 time_use     "mesontest.ML";
+(** time_use "mesontest2.ML";  ULTRA SLOW **)
 time_use_thy "String";
 time_use_thy "BT";
 time_use_thy "Perm";