src/HOL/IsaMakefile
changeset 33175 2083bde13ce1
parent 33083 1fad3160d873
child 33176 d6936fd7cda8
     1.1 --- a/src/HOL/IsaMakefile	Fri Oct 23 14:33:07 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Oct 23 13:23:18 2009 +0200
     1.3 @@ -323,15 +323,14 @@
     1.4  
     1.5  $(LOG)/HOL-Library.gz: $(OUT)/HOL Library/SetsAndFunctions.thy		\
     1.6    Library/Abstract_Rat.thy Library/BigO.thy Library/ContNotDenum.thy	\
     1.7 -  Library/Efficient_Nat.thy Library/Euclidean_Space.thy			\
     1.8 +  Library/Efficient_Nat.thy 			 			\
     1.9    Library/Sum_Of_Squares.thy Library/Sum_Of_Squares/sos_wrapper.ML	\
    1.10    Library/Sum_Of_Squares/sum_of_squares.ML Library/Fset.thy		\
    1.11 -  Library/Convex_Euclidean_Space.thy Library/Glbs.thy			\
    1.12 +  Library/Glbs.thy							\
    1.13    Library/normarith.ML Library/Executable_Set.thy			\
    1.14    Library/Infinite_Set.thy Library/FuncSet.thy				\
    1.15 -  Library/Permutations.thy Library/Determinants.thy Library/Bit.thy	\
    1.16 -  Library/Topology_Euclidean_Space.thy					\
    1.17 -  Library/Finite_Cartesian_Product.thy Library/FrechetDeriv.thy		\
    1.18 +  Library/Permutations.thy Library/Bit.thy				\
    1.19 +  Library/FrechetDeriv.thy		\
    1.20    Library/Fraction_Field.thy Library/Fundamental_Theorem_Algebra.thy	\
    1.21    Library/Inner_Product.thy Library/Kleene_Algebra.thy			\
    1.22    Library/Lattice_Syntax.thy			\
    1.23 @@ -1005,6 +1004,19 @@
    1.24  	@cd TLA; $(ISABELLE_TOOL) usedir $(OUT)/TLA Memory
    1.25  
    1.26  
    1.27 +## HOL-Multivariate_Analysis
    1.28 +
    1.29 +HOL-Multivariate_Analysis: HOL $(OUT)/HOL-Multivariate_Analysis
    1.30 +
    1.31 +$(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL Multivariate_Analysis/ROOT.ML \
    1.32 +  Multivariate_Analysis/Multivariate_Analysis.thy \
    1.33 +  Multivariate_Analysis/Determinants.thy \
    1.34 +  Multivariate_Analysis/Finite_Cartesian_Product.thy \
    1.35 +  Multivariate_Analysis/Euclidean_Space.thy \
    1.36 +  Multivariate_Analysis/Topology_Euclidean_Space.thy \
    1.37 +  Multivariate_Analysis/Convex_Euclidean_Space.thy
    1.38 +	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
    1.39 +
    1.40  ## HOL-Nominal
    1.41  
    1.42  HOL-Nominal: HOL $(OUT)/HOL-Nominal