| Tue, 25 Mar 2014 14:52:35 +0100 | wenzelm | some SML examples; | changeset | files |
| Tue, 25 Mar 2014 13:18:10 +0100 | wenzelm | added command 'SML_file' for Standard ML without Isabelle/ML add-ons; | changeset | files |
| 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 |