isabelle: Changelog

huffman [Mon, 29 Nov 2010 14:37:40 -0800] rev 40808

instance list :: (discrete_cpo) discrete_cpo; compactness lemmas for Nil, Cons; instance list :: (chfin) chfin;

boehmes [Tue, 30 Nov 2010 00:12:29 +0100] rev 40807

merged

boehmes [Mon, 29 Nov 2010 23:41:09 +0100] rev 40806

also support higher-order rules for Z3 proof reconstruction

wenzelm [Mon, 29 Nov 2010 16:10:44 +0100] rev 40805

merged

haftmann [Mon, 29 Nov 2010 11:39:00 +0100] rev 40804

less ghc-specific pragma

haftmann [Mon, 29 Nov 2010 11:38:59 +0100] rev 40803

tuned

wenzelm [Mon, 29 Nov 2010 11:27:39 +0100] rev 40802

updated generated files;

wenzelm [Mon, 29 Nov 2010 11:22:40 +0100] rev 40801

added document antiquotation @{file};

wenzelm [Sun, 28 Nov 2010 21:07:28 +0100] rev 40800

Parse.liberal_name for document antiquotations and attributes;

wenzelm [Sun, 28 Nov 2010 20:36:45 +0100] rev 40799

ML results: enter before printing (cf. Poly/ML SVN 1218);

isabelle