Mercurialisabelle / diff
summary | shortlog | changelog | graph | tags | branches | files | changeset | file | revisions | annotate | diff | raw
src/HOL/IsaMakefile
changeset 33741 4c414d0835ab
parent 33688 1a97dcd8dc6a
child 33748 dd5513734567 
     1.1 --- a/src/HOL/IsaMakefile	Sat Nov 14 19:56:18 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 17 18:52:30 2009 +0100
     1.3 @@ -1058,7 +1058,9 @@
     1.4    Multivariate_Analysis/Finite_Cartesian_Product.thy	\
     1.5    Multivariate_Analysis/Euclidean_Space.thy		\
     1.6    Multivariate_Analysis/Topology_Euclidean_Space.thy	\
     1.7 -  Multivariate_Analysis/Convex_Euclidean_Space.thy
     1.8 +  Multivariate_Analysis/Convex_Euclidean_Space.thy      \
     1.9 +  Multivariate_Analysis/Brouwer_Fixpoint.thy            \
    1.10 +  Multivariate_Analysis/Derivative.thy
    1.11  	@cd Multivariate_Analysis; $(ISABELLE_TOOL) usedir -b -g true $(OUT)/HOL HOL-Multivariate_Analysis
    1.12  
    1.13
isabelle