isabelle: Changelog

wenzelm [Fri, 19 Feb 2010 22:31:58 +0100] rev 35244

tuned settings; activated kodkodi, i.e. HOL-Nitpick_Examples;

wenzelm [Fri, 19 Feb 2010 22:29:30 +0100] rev 35243

fixed document;

wenzelm [Fri, 19 Feb 2010 22:25:26 +0100] rev 35242

eliminated opaque signature matching -- tends to cause problems with toplevel pp for abstract types;

wenzelm [Fri, 19 Feb 2010 22:06:52 +0100] rev 35241

made SML/NJ happy;

wenzelm [Fri, 19 Feb 2010 22:06:01 +0100] rev 35240

tuned;

wenzelm [Fri, 19 Feb 2010 21:31:14 +0100] rev 35239

authentic term syntax; more precise treatment of naming vs. binding; misc tuning;

wenzelm [Fri, 19 Feb 2010 20:41:34 +0100] rev 35238

Thm.def_binding;

wenzelm [Fri, 19 Feb 2010 20:39:48 +0100] rev 35237

moved ancient Drule.get_def to OldGoals.get_def;

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Feb 2010 17:37:33 +0100] rev 35236

quote the constant and theorem name with @{text}

wenzelm [Fri, 19 Feb 2010 17:03:53 +0100] rev 35235

merged

isabelle