| 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 |