isabelle: Changelog

wenzelm [Mon, 01 Aug 2016 11:54:32 +0200] rev 63573

more restrictive retrieval of rules for matching instead of unification -- relevant for performance of printing terms;

wenzelm [Sun, 31 Jul 2016 22:56:18 +0200] rev 63572

misc tuning and modernization;

wenzelm [Sun, 31 Jul 2016 19:09:21 +0200] rev 63571

clarified imports;

wenzelm [Sun, 31 Jul 2016 18:05:20 +0200] rev 63570

simplified theory structure;

wenzelm [Sun, 31 Jul 2016 17:25:38 +0200] rev 63569

misc tuning and modernization;

wenzelm [Sat, 30 Jul 2016 21:10:02 +0200] rev 63568

tuned;

wenzelm [Fri, 29 Jul 2016 20:38:39 +0200] rev 63567

merged

wenzelm [Fri, 29 Jul 2016 20:34:07 +0200] rev 63566

more accurate cong del; tuned proofs;

traytel [Fri, 29 Jul 2016 10:03:22 +0200] rev 63565

made generation of transfer goals more robust w.r.t. dead variables

Andreas Lochbihler [Fri, 29 Jul 2016 15:00:51 +0200] rev 63564

merged

isabelle