| changeset 33267 | 8fb01a2f9406 |
| parent 33175 | 2083bde13ce1 |
| child 33741 | 4c414d0835ab |
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Wed Oct 28 00:08:32 2009 +0100 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Wed Oct 28 00:23:39 2009 +0100 @@ -1,6 +1,5 @@ -theory Multivariate_Analysis imports - Convex_Euclidean_Space - Determinants +theory Multivariate_Analysis +imports Convex_Euclidean_Space Determinants begin end