| Sat, 13 Jun 2015 19:53:53 +0200 | wenzelm | tuned proofs; | changeset | files |
| Sat, 13 Jun 2015 19:38:26 +0200 | wenzelm | open parameters for 'consider' rule; | changeset | files |
| Sat, 13 Jun 2015 17:14:05 +0200 | wenzelm | implicit rule for method "cases"; | changeset | files |