isabelle: Changelog

wenzelm [Wed, 10 Jun 2015 20:15:58 +0200] rev 60421

misc tuning;

wenzelm [Wed, 10 Jun 2015 19:10:20 +0200] rev 60420

isabelle update_cartouches;

wenzelm [Wed, 10 Jun 2015 19:05:19 +0200] rev 60419

more user aliases;

wenzelm [Wed, 10 Jun 2015 18:57:31 +0200] rev 60418

merged

wenzelm [Wed, 10 Jun 2015 18:48:48 +0200] rev 60417

prefer direct Assumption.add_assms -- avoid term bindings of Proof_Context.add_assms;

wenzelm [Wed, 10 Jun 2015 17:22:35 +0200] rev 60416

tuned proofs;

wenzelm [Wed, 10 Jun 2015 16:09:49 +0200] rev 60415

clarified local after_qed: result is not exported yet; proper goal_export for show: 'if' is like 'assume';

wenzelm [Wed, 10 Jun 2015 14:46:31 +0200] rev 60414

support for "if prems" in local goal statements;

wenzelm [Wed, 10 Jun 2015 11:52:54 +0200] rev 60413

tuned message;

wenzelm [Wed, 10 Jun 2015 11:14:46 +0200] rev 60412

tuned proofs;

isabelle