isabelle: Changelog

wenzelm [Wed, 10 Jun 2015 10:39:28 +0200] rev 60410

tuned proofs;

wenzelm [Wed, 10 Jun 2015 10:29:32 +0200] rev 60409

prevent export of future result -- avoid interference with goal fixes;

wenzelm [Tue, 09 Jun 2015 22:24:33 +0200] rev 60408

more uniform treatment of auto bindings vs. explicit user bindings; misc tuning;

wenzelm [Tue, 09 Jun 2015 16:42:17 +0200] rev 60407

tuned signature;

wenzelm [Tue, 09 Jun 2015 16:07:11 +0200] rev 60406

allow for_fixes for 'have', 'show' etc.; tuned signature;

wenzelm [Tue, 09 Jun 2015 15:28:06 +0200] rev 60405

eliminated dead code;

wenzelm [Tue, 09 Jun 2015 13:42:58 +0200] rev 60404

clarified abstracted term bindings (again, see c8384ff11711);

wenzelm [Tue, 09 Jun 2015 12:32:01 +0200] rev 60403

tuned signature;

wenzelm [Tue, 09 Jun 2015 12:17:50 +0200] rev 60402

tuned;

wenzelm [Tue, 09 Jun 2015 11:51:05 +0200] rev 60401

clarified term bindings;

isabelle