| changeset 44229 | 7e3a026f014f |
| parent 44228 | 5f974bead436 |
| child 50526 | 899c9c4e4a4c |
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Tue Aug 16 07:56:17 2011 -0700 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Tue Aug 16 13:07:52 2011 -0700 @@ -1,5 +1,5 @@ theory Multivariate_Analysis -imports Fashoda Extended_Real_Limits Determinants +imports Fashoda Extended_Real_Limits begin end