| author | himmelma |
| Wed, 17 Feb 2010 18:33:45 +0100 | |
| changeset 35172 | 579dd5570f96 |
| parent 33741 | 4c414d0835ab |
| child 35173 | 9b24bfca8044 |
| permissions | -rw-r--r-- |
| wenzelm@33267 | 1 |
theory Multivariate_Analysis |
| himmelma@35172 | 2 |
imports Determinants Integration |
| himmelma@33175 | 3 |
begin |
| himmelma@33175 | 4 |
|
| himmelma@33175 | 5 |
end |