| Wed, 16 Jan 2013 22:18:13 +0100 | wenzelm | tuned proofs; | file | diff | annotate |
| Fri, 14 Dec 2012 15:46:01 +0100 | hoelzl | Remove the indexed basis from the definition of euclidean spaces and only use the set of Basis vectors | file | diff | annotate |
| Tue, 04 Dec 2012 18:00:40 +0100 | hoelzl | remove SMT proofs in Multivariate_Analysis | file | diff | annotate |