isabelle: Changelog

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

haftmann [Thu, 12 May 2016 09:34:07 +0200] rev 63088

a quasi-recursive characterization of the multiset order (by Christian Sternagel)

wenzelm [Thu, 12 May 2016 11:34:19 +0200] rev 63087

merged

wenzelm [Thu, 12 May 2016 10:57:09 +0200] rev 63086

avoid spurious fact index, notably in "context begin" (via Bundle.context);

isabelle