| Wed, 10 Feb 2010 00:46:56 +0100 | wenzelm | modernized translations; | changeset | files |
| Wed, 10 Feb 2010 00:45:16 +0100 | wenzelm | modernized syntax translations, using mostly abbreviation/notation; | changeset | files |
| Tue, 09 Feb 2010 16:07:09 +0100 | haftmann | simple proofs make life faster and easier | changeset | files |