| 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 |
| Wed, 28 Nov 2012 15:59:18 +0100 | wenzelm | eliminated slightly odd identifiers; | file | diff | annotate |
| Tue, 27 Nov 2012 13:22:29 +0100 | wenzelm | eliminated some improper identifiers; | file | diff | annotate |
| Fri, 16 Nov 2012 18:45:57 +0100 | hoelzl | move theorems to be more generally useable | file | diff | annotate |
| Thu, 01 Nov 2012 13:32:57 +0100 | blanchet | regenerated SMT certificates | file | diff | annotate |