isabelle: Changelog

haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59816

distributivity of partial minus establishes desired properties of dvd in semirings

haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59815

explicit commutative additive inverse operation; more explicit focal point for commutative monoids with an inverse operation

haftmann [Mon, 23 Mar 2015 19:05:14 +0100] rev 59814

modernized

blanchet [Wed, 25 Mar 2015 17:51:34 +0100] rev 59813

more multiset theorems

wenzelm [Wed, 25 Mar 2015 14:39:40 +0100] rev 59812

semantic completion for @{system_option};

wenzelm [Wed, 25 Mar 2015 13:45:52 +0100] rev 59811

clarified position;

wenzelm [Wed, 25 Mar 2015 13:31:47 +0100] rev 59810

HOL-SPARK .prv files are subject to system option spark_prv; tuned;

wenzelm [Wed, 25 Mar 2015 11:39:52 +0100] rev 59809

tuned signature;

wenzelm [Wed, 25 Mar 2015 10:59:28 +0100] rev 59808

NEWS;

wenzelm [Wed, 25 Mar 2015 10:44:57 +0100] rev 59807

prefer local fixes;

isabelle