| author | hoelzl |
| Tue Nov 17 18:52:30 2009 +0100 (2009-11-17) | |
| changeset 33741 | 4c414d0835ab |
| parent 33267 | 8fb01a2f9406 |
| child 35172 | 579dd5570f96 |
| permissions | -rw-r--r-- |
| wenzelm@33267 | 1 |
theory Multivariate_Analysis |
| hoelzl@33741 | 2 |
imports Determinants Derivative |
| himmelma@33175 | 3 |
begin |
| himmelma@33175 | 4 |
|
| himmelma@33175 | 5 |
end |