| Tue, 17 Nov 2009 19:08:02 +0100 | blanchet | removed "debug := true" that shouldn't have been submitted in the first place | changeset | files |
| 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) | changeset | files |
| Tue, 17 Nov 2009 18:25:05 +0100 | blanchet | merged | changeset | files |
| Tue, 17 Nov 2009 18:24:43 +0100 | blanchet | run Nitpick examples if Kodkodi is available | changeset | files |