isabelle: Changelog

wenzelm [Sat, 28 May 2016 17:34:28 +0200] rev 63176

clarified axiomatization: proper variables (!);

haftmann [Sun, 29 May 2016 14:43:18 +0200] rev 63175

explicit check that abstract constructors cannot be part of official interface

haftmann [Sun, 29 May 2016 14:43:17 +0200] rev 63174

do not export abstract constructors in code_reflect

nipkow [Sun, 29 May 2016 14:10:48 +0200] rev 63173

added subtheory of longest common prefix

wenzelm [Fri, 27 May 2016 23:58:24 +0200] rev 63172

tuned proofs;

wenzelm [Fri, 27 May 2016 23:35:13 +0200] rev 63171

tuned proofs;

wenzelm [Fri, 27 May 2016 20:23:55 +0200] rev 63170

tuned proofs, to allow unfold_abs_def;

wenzelm [Fri, 27 May 2016 20:13:06 +0200] rev 63169

clarified "unfold" operations;

wenzelm [Fri, 27 May 2016 12:53:14 +0200] rev 63168

tuned proof;

wenzelm [Thu, 26 May 2016 17:51:22 +0200] rev 63167

isabelle update_cartouches -c -t;

isabelle