1.1 --- a/src/HOL/IsaMakefile	Thu Aug 18 18:08:43 2011 -0700
     1.2 +++ b/src/HOL/IsaMakefile	Thu Aug 18 18:10:23 2011 -0700
     1.3 @@ -1183,6 +1183,7 @@
     1.4    Multivariate_Analysis/Integration.certs				\
     1.5    Multivariate_Analysis/Integration.thy					\
     1.6    Multivariate_Analysis/L2_Norm.thy					\
     1.7 +  Multivariate_Analysis/Linear_Algebra.thy				\
     1.8    Multivariate_Analysis/Multivariate_Analysis.thy			\
     1.9    Multivariate_Analysis/Operator_Norm.thy				\
    1.10    Multivariate_Analysis/Path_Connected.thy				\
    1.11 @@ -1194,7 +1195,7 @@
    1.12    Library/Extended_Real.thy Library/Indicator_Function.thy		\
    1.13    Library/Inner_Product.thy Library/Numeral_Type.thy Library/Convex.thy	\
    1.14    Library/FrechetDeriv.thy Library/Product_Vector.thy			\
    1.15 -  Library/Product_plus.thy
    1.16 +  Library/Product_plus.thy Library/Sum_of_Squares.thy
    1.17  	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
    1.18  
    1.19