Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/IsaMakefile
changeset 41654 32fe42892983
parent 41505 6d19301074cf
child 41655 95f851027a59 
--- 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				\
isabelle