isabelle: Changelog

wenzelm [Sat, 13 Jun 2015 23:57:19 +0200] rev 60462

tuned proofs;

wenzelm [Sat, 13 Jun 2015 23:36:21 +0200] rev 60461

tuned signature;

wenzelm [Sat, 13 Jun 2015 22:44:22 +0200] rev 60460

merged

wenzelm [Sat, 13 Jun 2015 22:42:23 +0200] rev 60459

more on 'consider' and related concepts;

wenzelm [Sat, 13 Jun 2015 20:07:54 +0200] rev 60458

tuned proofs;

wenzelm [Sat, 13 Jun 2015 19:53:53 +0200] rev 60457

tuned proofs;

wenzelm [Sat, 13 Jun 2015 19:38:26 +0200] rev 60456

open parameters for 'consider' rule;

wenzelm [Sat, 13 Jun 2015 17:14:05 +0200] rev 60455

implicit rule for method "cases";

wenzelm [Sat, 13 Jun 2015 16:35:27 +0200] rev 60454

eliminated slightly odd Element.close_form: toplevel specifications have different policies than proof text elements;

wenzelm [Sat, 13 Jun 2015 15:51:19 +0200] rev 60453

clarified 'obtain', using structured 'have' statement;

isabelle