| changeset 35172 | 579dd5570f96 |
| parent 33741 | 4c414d0835ab |
| child 35173 | 9b24bfca8044 |
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Wed Feb 17 17:57:37 2010 +0100 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Wed Feb 17 18:33:45 2010 +0100 @@ -1,5 +1,5 @@ theory Multivariate_Analysis -imports Determinants Derivative +imports Determinants Integration begin end