--- a/src/HOL/IsaMakefile Sat May 15 17:59:06 2010 +0200
+++ b/src/HOL/IsaMakefile Sat May 15 18:11:00 2010 +0200
@@ -401,7 +401,7 @@
Library/Efficient_Nat.thy Library/Sum_Of_Squares.thy \
Library/Dlist.thy Library/Sum_Of_Squares/sos_wrapper.ML \
Library/Sum_Of_Squares/sum_of_squares.ML Library/Fset.thy \
- Library/Glbs.thy Library/normarith.ML Library/Executable_Set.thy \
+ Library/Glbs.thy Library/Executable_Set.thy \
Library/Infinite_Set.thy Library/FuncSet.thy \
Library/Permutations.thy Library/Bit.thy Library/FrechetDeriv.thy \
Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy \
@@ -1087,27 +1087,27 @@
HOL-Multivariate_Analysis: HOL $(OUT)/HOL-Multivariate_Analysis
-$(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL \
- 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.certs \
- Multivariate_Analysis/L2_Norm.thy \
- Multivariate_Analysis/Multivariate_Analysis.thy \
- Multivariate_Analysis/Operator_Norm.thy \
- Multivariate_Analysis/Path_Connected.thy \
- Multivariate_Analysis/Real_Integration.thy \
- Multivariate_Analysis/Topology_Euclidean_Space.thy \
- Multivariate_Analysis/Vec1.thy Library/Glbs.thy \
- Library/Inner_Product.thy Library/Numeral_Type.thy \
- Library/Convex.thy Library/FrechetDeriv.thy \
+$(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL \
+ 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.certs \
+ Multivariate_Analysis/Integration.thy \
+ Multivariate_Analysis/L2_Norm.thy \
+ Multivariate_Analysis/Multivariate_Analysis.thy \
+ Multivariate_Analysis/Operator_Norm.thy \
+ Multivariate_Analysis/Path_Connected.thy \
+ Multivariate_Analysis/ROOT.ML \
+ Multivariate_Analysis/Real_Integration.thy \
+ Multivariate_Analysis/Topology_Euclidean_Space.thy \
+ Multivariate_Analysis/document/root.tex \
+ Multivariate_Analysis/normarith.ML Multivariate_Analysis/Vec1.thy \
+ Library/Glbs.thy Library/Inner_Product.thy Library/Numeral_Type.thy \
+ Library/Convex.thy Library/FrechetDeriv.thy \
Library/Product_Vector.thy Library/Product_plus.thy
@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis