isabelle: Changelog

haftmann [Wed, 01 Jan 2014 01:05:48 +0100] rev 54890

fundamental treatment of undefined vs. universally partial replaces code_abort

haftmann [Wed, 01 Jan 2014 01:05:46 +0100] rev 54889

explicit distinction between empty code equations and no code equations, including convenient declaration attributes

haftmann [Wed, 01 Jan 2014 01:05:30 +0100] rev 54888

tuned whitespace

haftmann [Wed, 01 Jan 2014 01:05:30 +0100] rev 54887

more precise wording

haftmann [Wed, 01 Jan 2014 01:05:30 +0100] rev 54886

uniform bookkeeping also in the case of deletion

haftmann [Tue, 31 Dec 2013 22:18:31 +0100] rev 54885

more abstract declaration of code attributes

haftmann [Tue, 31 Dec 2013 22:18:31 +0100] rev 54884

dropped unused material

wenzelm [Tue, 31 Dec 2013 14:29:16 +0100] rev 54883

proper context for norm_hhf and derived operations; clarified tool context in some boundary cases;

isabelle