# HG changeset patch
# User huffman
# Date 1272492423 25200
# Node ID 352213b24ced0653415567d64c92430518ecf682
# Parent  bbea7f52e8e1245d126b6878cff9c942ca0bcf56
add new Multivariate_Analysis files to IsaMakefile

diff -r bbea7f52e8e1 -r 352213b24ced src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Apr 28 15:05:45 2010 -0700
+++ b/src/HOL/IsaMakefile	Wed Apr 28 15:07:03 2010 -0700
@@ -1080,18 +1080,21 @@
 $(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL-SMT	\
   Multivariate_Analysis/ROOT.ML				\
   Multivariate_Analysis/document/root.tex		\
+  Multivariate_Analysis/Brouwer_Fixpoint.thy            \
+  Multivariate_Analysis/Convex_Euclidean_Space.thy      \
+  Multivariate_Analysis/Derivative.thy			\
+  Multivariate_Analysis/Determinants.thy		\
+  Multivariate_Analysis/Euclidean_Space.thy		\
+  Multivariate_Analysis/Fashoda.thy			\
+  Multivariate_Analysis/Finite_Cartesian_Product.thy	\
+  Multivariate_Analysis/Integration.thy			\
+  Multivariate_Analysis/Integration.cert		\
   Multivariate_Analysis/L2_Norm.thy			\
   Multivariate_Analysis/Multivariate_Analysis.thy	\
-  Multivariate_Analysis/Determinants.thy		\
-  Multivariate_Analysis/Finite_Cartesian_Product.thy	\
-  Multivariate_Analysis/Euclidean_Space.thy		\
+  Multivariate_Analysis/Operator_Norm.thy		\
+  Multivariate_Analysis/Real_Integration.thy		\
   Multivariate_Analysis/Topology_Euclidean_Space.thy	\
-  Multivariate_Analysis/Convex_Euclidean_Space.thy      \
-  Multivariate_Analysis/Brouwer_Fixpoint.thy            \
-  Multivariate_Analysis/Derivative.thy			\
-  Multivariate_Analysis/Integration.thy			\
-  Multivariate_Analysis/Integration.cert		\
-  Multivariate_Analysis/Real_Integration.thy
+  Multivariate_Analysis/Vec1.thy
 	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-SMT HOL-Multivariate_Analysis