isabelle: Changelog

wenzelm [Mon, 09 Feb 2009 21:08:59 +0100] rev 29720

set quick_and_dirty;

wenzelm [Mon, 09 Feb 2009 20:37:10 +0100] rev 29719

tuned chapter heading;

wenzelm [Mon, 09 Feb 2009 20:36:53 +0100] rev 29718

added parts;

wenzelm [Mon, 09 Feb 2009 12:57:05 +0100] rev 29717

updated generated files;

wenzelm [Mon, 09 Feb 2009 12:52:16 +0100] rev 29716

basic setup for chapter "The Isabelle/Isar Framework";

wenzelm [Mon, 09 Feb 2009 12:49:13 +0100] rev 29715

more refs;

wenzelm [Mon, 02 Feb 2009 22:16:41 +0100] rev 29714

Compatibility wrapper for experimental versions of Poly/ML after 5.2.1.

krauss [Mon, 02 Feb 2009 15:12:22 +0100] rev 29713

export lexicographic_order_tac

krauss [Mon, 02 Feb 2009 15:12:18 +0100] rev 29712

fix potential incompleteness in SAT encoding

haftmann [Mon, 02 Feb 2009 13:56:24 +0100] rev 29711

avoid name clash of generated modules and includes

isabelle