Tue, 05 Jan 2016 13:35:06 +0100 | hoelzl | Multivariate-Analysis: fixed headers and a LaTex error (c.f. Isabelle b0f941e207cf) | changeset | files |
Mon, 04 Jan 2016 22:13:53 +0100 | wenzelm | merged | changeset | files |
Mon, 04 Jan 2016 21:49:06 +0100 | wenzelm | tuned proofs; | changeset | files |