changeset 50526 | 899c9c4e4a4c |
parent 44229 | 7e3a026f014f |
child 56189 | c4daa97ac57a |
--- a/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Fri Dec 14 14:46:01 2012 +0100 +++ b/src/HOL/Multivariate_Analysis/Multivariate_Analysis.thy Fri Dec 14 15:46:01 2012 +0100 @@ -1,5 +1,5 @@ theory Multivariate_Analysis -imports Fashoda Extended_Real_Limits +imports Fashoda Extended_Real_Limits Determinants begin end