isabelle: Changelog

hoelzl [Tue, 17 May 2016 11:16:39 +0200] rev 63098

Library: add partition_on

blanchet [Tue, 17 May 2016 08:40:24 +0200] rev 63097

proper consideration of chained facts in 'try0' minimization

wenzelm [Sat, 14 May 2016 22:00:44 +0200] rev 63096

re-enable fact index for 'obtains' assumption (amending 5c8e6a751adc);

wenzelm [Sat, 14 May 2016 19:59:43 +0200] rev 63095

tuned;

wenzelm [Sat, 14 May 2016 19:49:10 +0200] rev 63094

toplevel theorem statements support 'if'/'for' eigen-context;

wenzelm [Sat, 14 May 2016 13:52:01 +0200] rev 63093

reverted accidental commit;

wenzelm [Fri, 13 May 2016 20:24:10 +0200] rev 63092

eliminated use of empty "assms";

wenzelm [Fri, 13 May 2016 20:22:02 +0200] rev 63091

more complete theories;

wenzelm [Thu, 12 May 2016 22:06:18 +0200] rev 63090

common entity definitions within a global or local theory context;

haftmann [Thu, 12 May 2016 14:38:53 +0200] rev 63089

clarified heading

isabelle