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