isabelle: Changelog

nipkow [Mon, 03 Jun 2013 11:37:37 +0200] rev 52291

corrected name

nipkow [Mon, 03 Jun 2013 06:41:07 +0200] rev 52290

tuned proofs

haftmann [Sun, 02 Jun 2013 20:44:55 +0200] rev 52289

type class for confined subtraction

haftmann [Sun, 02 Jun 2013 10:57:21 +0200] rev 52288

denesting of functions

haftmann [Sun, 02 Jun 2013 09:10:53 +0200] rev 52287

some meagure hints concerning reification

haftmann [Sun, 02 Jun 2013 07:46:40 +0200] rev 52286

make reification part of HOL

wenzelm [Sat, 01 Jun 2013 14:26:04 +0200] rev 52285

permissive uncheck -- allow printing of malformed terms (e.g. in error messages);

wenzelm [Sat, 01 Jun 2013 14:16:10 +0200] rev 52284

Type_Annotation only works *after* uncheck (which usually requires authentic type information);

wenzelm [Sat, 01 Jun 2013 12:03:37 +0200] rev 52283

updated isatest stats;

nipkow [Sat, 01 Jun 2013 12:02:41 +0200] rev 52282

tuned theory name

isabelle