| Tue, 02 Aug 2016 18:45:34 +0200 | wenzelm | tuned signature -- prover-independence is presently theoretical; | changeset | files |
| Tue, 02 Aug 2016 18:44:37 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 02 Aug 2016 18:13:24 +0200 | wenzelm | avoid confusion with 'case' and "cases"; | changeset | files |