src/HOL/IsaMakefile
changeset 34067 a03f3f9874f6
parent 34028 1e6206763036
child 34069 c1fd26512f6d
     1.1 --- a/src/HOL/IsaMakefile	Thu Dec 10 22:28:55 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Fri Dec 11 15:06:12 2009 +0100
     1.3 @@ -1049,9 +1049,9 @@
     1.4  
     1.5  ## HOL-Multivariate_Analysis
     1.6  
     1.7 -HOL-Multivariate_Analysis: HOL $(OUT)/HOL-Multivariate_Analysis
     1.8 +HOL-Multivariate_Analysis: HOL-SMT $(OUT)/HOL-Multivariate_Analysis
     1.9  
    1.10 -$(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL		\
    1.11 +$(OUT)/HOL-Multivariate_Analysis: $(OUT)/HOL-SMT	\
    1.12    Multivariate_Analysis/ROOT.ML				\
    1.13    Multivariate_Analysis/Multivariate_Analysis.thy	\
    1.14    Multivariate_Analysis/Determinants.thy		\
    1.15 @@ -1061,7 +1061,7 @@
    1.16    Multivariate_Analysis/Convex_Euclidean_Space.thy      \
    1.17    Multivariate_Analysis/Brouwer_Fixpoint.thy            \
    1.18    Multivariate_Analysis/Derivative.thy
    1.19 -	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
    1.20 +	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL-SMT HOL-Multivariate_Analysis
    1.21  
    1.22  
    1.23  ## HOL-Probability