src/HOL/IsaMakefile

   Number_Theory/Number_Theory.thy \
   Number_Theory/Residues.thy \
   Number_Theory/UniqueFactorization.thy  \
   Number_Theory/ROOT.ML
 	@$(ISABELLE_TOOL) usedir -g true $(OUT)/HOL Number_Theory
-                                     
+
 
 ## HOL-Old_Number_Theory
 
 HOL-Old_Number_Theory: HOL $(LOG)/HOL-Old_Number_Theory.gz
 

   Multivariate_Analysis/Cartesian_Euclidean_Space.thy                   \
   Multivariate_Analysis/Convex_Euclidean_Space.thy			\
   Multivariate_Analysis/Derivative.thy					\
   Multivariate_Analysis/Determinants.thy				\
   Multivariate_Analysis/Euclidean_Space.thy				\
+  Multivariate_Analysis/Extended_Real_Limits.thy			\
   Multivariate_Analysis/Fashoda.thy					\
   Multivariate_Analysis/Finite_Cartesian_Product.thy			\
   Multivariate_Analysis/Integration.certs				\
   Multivariate_Analysis/Integration.thy					\
   Multivariate_Analysis/L2_Norm.thy					\