# HG changeset patch
# User blanchet
# Date 1273842577 -7200
# Node ID 279074271b8e1cb69eeedcff28728da6751f394d
# Parent  7c429a484c745e2814851274021aa0b27c524575
move Refute dependency from Plain to Main

diff -r 7c429a484c74 -r 279074271b8e src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri May 14 15:07:53 2010 +0200
+++ b/src/HOL/IsaMakefile	Fri May 14 15:09:37 2010 +0200
@@ -161,7 +161,6 @@
   Predicate.thy \
   Product_Type.thy \
   Record.thy \
-  Refute.thy \
   Relation.thy \
   Rings.thy \
   SAT.thy \
@@ -254,6 +253,7 @@
   Random.thy \
   Random_Sequence.thy \
   Recdef.thy \
+  Refute.thy \
   Semiring_Normalization.thy \
   SetInterval.thy \
   Sledgehammer.thy \