isabelle: Changelog

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.

berghofe [Fri, 25 Nov 2005 14:00:22 +0100] rev 18245

Fixed problem with strong induction theorem for datatypes containing no atom types (ind_sort was the empty sort in this case).

isabelle