wenzelm [Sat, 28 May 2016 21:38:58 +0200] rev 63178
clarified 'axiomatization';
wenzelm [Sat, 28 May 2016 17:35:12 +0200] rev 63177
clarified axiomatization;
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;
wenzelm [Thu, 26 May 2016 16:57:14 +0200] rev 63166
tuned spelling;
haftmann [Thu, 26 May 2016 15:31:04 +0200] rev 63165
examples and documentation for code generator time measurements