| changeset 41655 | 95f851027a59 |
| parent 41582 | c34415351b6d |
| parent 41654 | 32fe42892983 |
| child 41827 | 98eda7ffde79 |
--- a/src/HOL/IsaMakefile Tue Jan 18 09:44:29 2011 +0100 +++ b/src/HOL/IsaMakefile Wed Jan 19 11:34:10 2011 +0100 @@ -1,4 +1,3 @@ - # # IsaMakefile for HOL # @@ -1153,7 +1152,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 \