isabelle: Changelog

wenzelm [Fri, 25 Nov 2005 18:58:42 +0100] rev 18255

revert_skolem: fall back on Syntax.deskolem;

wenzelm [Fri, 25 Nov 2005 18:58:41 +0100] rev 18254

forall_conv ~1;

wenzelm [Fri, 25 Nov 2005 18:58:40 +0100] rev 18253

added dummy_pattern;

wenzelm [Fri, 25 Nov 2005 18:58:38 +0100] rev 18252

tuned names;

wenzelm [Fri, 25 Nov 2005 18:58:37 +0100] rev 18251

forall_conv: limit prefix;

wenzelm [Fri, 25 Nov 2005 18:58:36 +0100] rev 18250

fix_tac: proper treatment of major premises in goal; export atomize/rulify interface; tuned;

wenzelm [Fri, 25 Nov 2005 18:58:35 +0100] rev 18249

removed obsolete dummy paragraphs;

wenzelm [Fri, 25 Nov 2005 18:58:34 +0100] rev 18248

tuned;

haftmann [Fri, 25 Nov 2005 17:41:52 +0100] rev 18247

code generator: case expressions, improved name resolving

urbanc [Fri, 25 Nov 2005 14:51:39 +0100] rev 18246

added fsub.thy (poplmark challenge) to the examples directory.

isabelle