isabelle: Changelog

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

wenzelm [Fri, 19 Feb 2010 16:49:23 +0100] rev 35234

merged

wenzelm [Fri, 19 Feb 2010 16:45:21 +0100] rev 35233

local Simplifier.context; tuned tactic setup;

wenzelm [Fri, 19 Feb 2010 16:11:45 +0100] rev 35232

renamed Simplifier.theory_context to Simplifier.global_context to emphasize that this is not the real thing;

wenzelm [Fri, 19 Feb 2010 11:56:11 +0100] rev 35231

tuned message;

wenzelm [Fri, 19 Feb 2010 11:49:44 +0100] rev 35230

Lin_Arith.pre_tac: inherit proper simplifier context, and get rid of posthoc renaming of bound variables;

haftmann [Fri, 19 Feb 2010 16:42:37 +0100] rev 35229

merged

haftmann [Fri, 19 Feb 2010 11:06:22 +0100] rev 35228

context theorem is optional

isabelle