# HG changeset patch
# User webertj
# Date 1078954752 -3600
# Node ID 0a8619367a6101fbc4585c81287ee81ffa66616d
# Parent  c2b96948730d41e6291013fc28255ff57ae02797
added Refute_Examples.thy

diff -r c2b96948730d -r 0a8619367a61 src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Wed Mar 10 22:37:33 2004 +0100
+++ b/src/HOL/ex/ROOT.ML	Wed Mar 10 22:39:12 2004 +0100
@@ -39,3 +39,5 @@
 
 time_use_thy "SVC_Oracle";
 if_svc_enabled time_use_thy "svc_test";
+
+time_use_thy "Refute_Examples.thy";