# HG changeset patch
# User wenzelm
# Date 1192131868 -7200
# Node ID d8020d52b982f06b52d48ad190834188e7255754
# Parent  50b07326da38f9cb6983c6b318380ec17bf9c573
disabled Refute_Examples temporarily;

diff -r 50b07326da38 -r d8020d52b982 src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Thu Oct 11 21:10:43 2007 +0200
+++ b/src/HOL/ex/ROOT.ML	Thu Oct 11 21:44:28 2007 +0200
@@ -83,7 +83,9 @@
   time_use_thy "Sudoku"
 else ();
 
+(*
 time_use_thy "Refute_Examples";
+*)
 time_use_thy "Quickcheck_Examples";
 no_document time_use_thy "NormalForm";