--- 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