isabelle: Changelog

wenzelm [Mon, 30 Mar 2015 22:34:59 +0200] rev 59858

support for strictly private name space entries; tuned signature;

wenzelm [Mon, 30 Mar 2015 20:51:11 +0200] rev 59857

tuned signature;

blanchet [Mon, 30 Mar 2015 20:59:14 +0200] rev 59856

export more low-level theorems in data structure (partly for 'corec')

wenzelm [Mon, 30 Mar 2015 18:33:22 +0200] rev 59855

tuned;

wenzelm [Mon, 30 Mar 2015 14:32:41 +0200] rev 59854

merged

wenzelm [Mon, 30 Mar 2015 14:19:45 +0200] rev 59853

more uniform syntax for named instantiations;

hoelzl [Mon, 30 Mar 2015 11:36:30 +0200] rev 59852

merged

Rene Thiemann <rene.thiemann@uibk.ac.at> [Mon, 30 Mar 2015 10:58:08 +0200] rev 59851

added locale for semirings

eberlm [Mon, 30 Mar 2015 10:52:54 +0200] rev 59850

exposed approximation in ML

wenzelm [Mon, 30 Mar 2015 00:13:37 +0200] rev 59849

clarified NEWS (cf. 97872c658a44);

isabelle