# HG changeset patch
# User paulson
# Date 864121465 -7200
# Node ID a42653373043ec1c26f145ea3ddcf423ea98d78a
# Parent  406ae5ced4e9989a7201160eb18b5a5038bd2b38
Removal of ex/LexProd

diff -r 406ae5ced4e9 -r a42653373043 src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Tue May 20 11:44:02 1997 +0200
+++ b/src/HOL/ex/ROOT.ML	Tue May 20 11:44:25 1997 +0200
@@ -18,7 +18,6 @@
 time_use_thy "BT";
 time_use_thy "InSort";
 time_use_thy "Qsort";
-time_use_thy "LexProd";
 time_use_thy "Puzzle";
 time_use_thy "Primes";
 time_use_thy "NatSum";