Tue, 25 Mar 2014 10:37:10 +0100 | wenzelm | updated to scala-2.10.4; | changeset | files |
Tue, 25 Mar 2014 14:20:58 +0100 | hoelzl | cleanup auxiliary proofs for Brouwer fixpoint theorem (removes ~2400 lines) | changeset | files |
Tue, 25 Mar 2014 13:14:33 +0100 | traytel | prove theorems with fixed variables (export afterwards) | changeset | files |