# HG changeset patch
# User haftmann
# Date 1275488654 -7200
# Node ID 12a514e0319a48e079a6c017f8fec7defe324be0
# Parent  bc874e1a7758f16669783b396e604b8fcfce5e1c
HOL-Proofs is based in Main.thy

diff -r bc874e1a7758 -r 12a514e0319a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Jun 02 16:24:13 2010 +0200
+++ b/src/HOL/IsaMakefile	Wed Jun 02 16:24:14 2010 +0200
@@ -352,6 +352,9 @@
 $(OUT)/HOL-Main: main.ML $(MAIN_DEPENDENCIES)
 	@$(ISABELLE_TOOL) usedir -b -f main.ML -g true $(OUT)/Pure HOL-Main
 
+$(OUT)/HOL-Proofs: main.ML $(MAIN_DEPENDENCIES)
+	@$(ISABELLE_TOOL) usedir -b -f main.ML -g true -p 2 -q 0 $(OUT)/Pure HOL-Proofs
+
 HOL_DEPENDENCIES = $(MAIN_DEPENDENCIES) \
   Archimedean_Field.thy \
   Complex.thy \
@@ -383,9 +386,6 @@
 $(OUT)/HOL: ROOT.ML $(HOL_DEPENDENCIES)
 	@$(ISABELLE_TOOL) usedir -b -g true $(OUT)/Pure HOL
 
-$(OUT)/HOL-Proofs: ROOT.ML $(HOL_DEPENDENCIES)
-	@$(ISABELLE_TOOL) usedir -b -g true -p 2 -q 0 $(OUT)/Pure HOL-Proofs
-
 
 
 ## HOL-Library