Tue, 17 Nov 2009 18:52:30 +0100 | hoelzl | Added derivation and Brouwer's fixpoint theorem in Multivariate Analysis (translated by Robert Himmelmann from HOL-light) | file | diff | annotate |
Wed, 28 Oct 2009 00:23:39 +0100 | wenzelm | tuned initial session setup; | file | diff | annotate |
Fri, 23 Oct 2009 13:23:18 +0200 | himmelma | distinguished session for multivariate analysis | file | diff | annotate |