| changeset 38656 | d5d342611edb |
| parent 37489 | 44e42d392c6e |
| child 41654 | 32fe42892983 |
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Mon Aug 23 17:46:13 2010 +0200 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Mon Aug 23 19:35:57 2010 +0200 @@ -1,5 +1,5 @@ theory Multivariate_Analysis -imports Integration Fashoda +imports Fashoda Gauge_Measure begin end