isabelle: Changelog

haftmann [Fri, 26 Oct 2007 21:22:17 +0200] rev 25206

localized monotonicity; tuned syntax

haftmann [Fri, 26 Oct 2007 21:22:16 +0200] rev 25205

dropped "brown" syntax

wenzelm [Fri, 26 Oct 2007 19:58:32 +0200] rev 25204

replaced Secure.evaluate by ML_Context.evaluate;

wenzelm [Fri, 26 Oct 2007 17:55:33 +0200] rev 25203

asm_rewrite_goal_tac: avoiding PRIMITIVE lets informative exceptions (from simprocs) get through;

wenzelm [Fri, 26 Oct 2007 17:18:32 +0200] rev 25202

proven witness: proper Goal.close_result save huge amounts of resources when using proof terms;

krauss [Fri, 26 Oct 2007 16:12:58 +0200] rev 25201

print the defined constants when finished; tuned

haftmann [Fri, 26 Oct 2007 15:42:23 +0200] rev 25200

adjusted

haftmann [Fri, 26 Oct 2007 15:37:02 +0200] rev 25199

tuned

krauss [Fri, 26 Oct 2007 14:24:32 +0200] rev 25198

added NEWS entry for function package

haftmann [Fri, 26 Oct 2007 10:32:10 +0200] rev 25197

added hint for algebra

isabelle