# HG changeset patch
# User bulwahn
# Date 1342421069 -7200
# Node ID f5676fad35a305c4d3f9660e94ecdb82a4923f1c
# Parent  fa7e99b8067530c7a40b83886dfafc0e627c902a
deactivate Find_Unused_Assms_Examples to see if isabelle test's failures is caused by this example file

diff -r fa7e99b80675 -r f5676fad35a3 src/HOL/Quickcheck_Examples/ROOT.ML
--- a/src/HOL/Quickcheck_Examples/ROOT.ML	Sun Jul 15 22:58:52 2012 +0200
+++ b/src/HOL/Quickcheck_Examples/ROOT.ML	Mon Jul 16 08:44:29 2012 +0200
@@ -1,5 +1,5 @@
 use_thys [
-  "Find_Unused_Assms_Examples",
+(*  "Find_Unused_Assms_Examples", *)
   "Quickcheck_Examples",
   "Quickcheck_Lattice_Examples",
   "Completeness",