isabelle: Changelog

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

nipkow [Sat, 01 Jun 2013 11:48:06 +0200] rev 52281

tuned rules

blanchet [Fri, 31 May 2013 14:08:48 +0200] rev 52280

tuning

blanchet [Fri, 31 May 2013 12:28:39 +0200] rev 52279

renamed util function

wenzelm [Fri, 31 May 2013 12:00:18 +0200] rev 52278

tuned;

wenzelm [Fri, 31 May 2013 11:56:48 +0200] rev 52277

make SML/NJ partially happy;

haftmann [Fri, 31 May 2013 09:30:32 +0200] rev 52276

reflection without evaluation

isabelle