| changeset 63513 | 9f8d06f23c09 |
| parent 63474 | f66e3c3b0fb1 |
| child 63524 | 4ec755485732 |
| child 63527 | 59eff6e56d81 |
--- a/NEWS Sat Jul 16 00:11:03 2016 +0200 +++ b/NEWS Sat Jul 16 00:38:33 2016 +0200 @@ -100,6 +100,9 @@ established at the end of a proof are properly identified in the theorem statement. +* Command 'proof' provides information about proof outline with cases, +e.g. for proof methods "cases", "induct", "goal_cases". + *** Isar ***