| Wed, 10 Jun 2015 14:46:31 +0200 | wenzelm | support for "if prems" in local goal statements; | changeset | files |
| Wed, 10 Jun 2015 11:52:54 +0200 | wenzelm | tuned message; | changeset | files |
| Wed, 10 Jun 2015 11:14:46 +0200 | wenzelm | tuned proofs; | changeset | files |
| Wed, 10 Jun 2015 11:14:04 +0200 | wenzelm | no need for protected goal (see 240ad53041c9); | changeset | files |