# HG changeset patch
# User huffman
# Date 1313716223 25200
# Node ID fe9c2398c330d4bdc8870b14d136fefe548ec1c5
# Parent  598ed12b9bee534f4a796b9a371327afff0d3b58
add Multivariate_Analysis dependencies

diff -r 598ed12b9bee -r fe9c2398c330 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Aug 18 18:08:43 2011 -0700
+++ b/src/HOL/IsaMakefile	Thu Aug 18 18:10:23 2011 -0700
@@ -1183,6 +1183,7 @@
   Multivariate_Analysis/Integration.certs				\
   Multivariate_Analysis/Integration.thy					\
   Multivariate_Analysis/L2_Norm.thy					\
+  Multivariate_Analysis/Linear_Algebra.thy				\
   Multivariate_Analysis/Multivariate_Analysis.thy			\
   Multivariate_Analysis/Operator_Norm.thy				\
   Multivariate_Analysis/Path_Connected.thy				\
@@ -1194,7 +1195,7 @@
   Library/Extended_Real.thy Library/Indicator_Function.thy		\
   Library/Inner_Product.thy Library/Numeral_Type.thy Library/Convex.thy	\
   Library/FrechetDeriv.thy Library/Product_Vector.thy			\
-  Library/Product_plus.thy
+  Library/Product_plus.thy Library/Sum_of_Squares.thy
 	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis