| Thu, 02 Jul 2015 12:39:08 +0200 | wenzelm | clarified module; | changeset | files |
| Thu, 02 Jul 2015 12:33:04 +0200 | wenzelm | allow to specify suffix of goal parameters; | changeset | files |
| Thu, 02 Jul 2015 00:09:04 +0200 | wenzelm | subgoal parameters are internal by default and named by user; | changeset | files |
| Wed, 01 Jul 2015 22:37:49 +0200 | wenzelm | split multi-goals as usual (outermost Pure.conjunction only); | changeset | files |
| Wed, 01 Jul 2015 22:11:23 +0200 | wenzelm | clarified prems: full subgoal is imported in any case, to avoid remaining schematic variables; | changeset | files |
| Wed, 01 Jul 2015 21:57:21 +0200 | wenzelm | proper state after qed; | changeset | files |
| Wed, 01 Jul 2015 21:48:46 +0200 | wenzelm | clarified keyword categories; | changeset | files |