# HG changeset patch
# User boehmes
# Date 1269430221 -3600
# Node ID c53a6865111bc7b9f627a42a3add6157dcc558e2
# Parent  51b9155467cc6c81c1cf14abebbb31a7b2dcb60c
more precise dependencies

diff -r 51b9155467cc -r c53a6865111b src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Mar 24 09:44:47 2010 +0100
+++ b/src/HOL/IsaMakefile	Wed Mar 24 12:30:21 2010 +0100
@@ -1078,7 +1078,10 @@
   Multivariate_Analysis/Topology_Euclidean_Space.thy	\
   Multivariate_Analysis/Convex_Euclidean_Space.thy      \
   Multivariate_Analysis/Brouwer_Fixpoint.thy            \
-  Multivariate_Analysis/Derivative.thy
+  Multivariate_Analysis/Derivative.thy			\
+  Multivariate_Analysis/Integration.thy			\
+  Multivariate_Analysis/Integration.cert		\
+  Multivariate_Analysis/Real_Integration.thy
 	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-SMT HOL-Multivariate_Analysis