| Tue, 24 Sep 2013 16:03:00 +0200 | wenzelm | tuned proofs; | changeset | files |
| Tue, 24 Sep 2013 14:14:49 +0200 | wenzelm | obsolete; | changeset | files |
| Tue, 24 Sep 2013 14:09:39 +0200 | wenzelm | tuned; | changeset | files |
| Tue, 24 Sep 2013 13:23:25 +0200 | wenzelm | avoid clash of auto print functions with query operations, notably sledgehammer (cf. 3461985dcbc3); | changeset | files |