isabelle: Changelog

wenzelm [Thu, 28 Apr 2016 15:42:52 +0200] rev 63068

unfold is subject to unfold_abs_def (still inactive); tuned signature;

wenzelm [Thu, 28 Apr 2016 11:47:01 +0200] rev 63067

tuned;

wenzelm [Thu, 28 Apr 2016 11:34:26 +0200] rev 63066

NEWS;

wenzelm [Thu, 28 Apr 2016 11:31:36 +0200] rev 63065

clarified order: params/prems/concl interchangeable with !!/==> proposition;

wenzelm [Thu, 28 Apr 2016 09:43:11 +0200] rev 63064

support 'assumes' in specifications, e.g. 'definition', 'inductive'; tuned signatures;

wenzelm [Wed, 27 Apr 2016 10:03:35 +0200] rev 63063

tuned;

wenzelm [Tue, 26 Apr 2016 22:59:25 +0200] rev 63062

merged

wenzelm [Tue, 26 Apr 2016 22:59:03 +0200] rev 63061

updated subtle side-conditions;

wenzelm [Tue, 26 Apr 2016 22:44:31 +0200] rev 63060

some uses of 'obtain' with structure statement;

wenzelm [Tue, 26 Apr 2016 22:39:17 +0200] rev 63059

'obtain' supports structured statements (similar to 'define');

isabelle