diff -r 4638b1210d26 -r 32fe42892983 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jan 14 16:00:13 2011 +0100
+++ b/src/HOL/IsaMakefile	Tue Jan 18 21:37:23 2011 +0100
@@ -1,4 +1,3 @@
-
 #
 # IsaMakefile for HOL
 #
@@ -1150,7 +1149,6 @@
   Multivariate_Analysis/Finite_Cartesian_Product.thy			\
   Multivariate_Analysis/Integration.certs				\
   Multivariate_Analysis/Integration.thy					\
-  Multivariate_Analysis/Gauge_Measure.thy				\
   Multivariate_Analysis/L2_Norm.thy					\
   Multivariate_Analysis/Multivariate_Analysis.thy			\
   Multivariate_Analysis/Operator_Norm.thy				\