isabelle: Changelog

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);

wenzelm [Sun, 28 Nov 2010 20:12:22 +0100] rev 40798

merged

huffman [Sun, 28 Nov 2010 08:41:16 -0800] rev 40797

merged

huffman [Sun, 28 Nov 2010 08:21:52 -0800] rev 40796

merged

huffman [Sun, 28 Nov 2010 07:29:32 -0800] rev 40795

change match_bottom_simps to produce if-then-else, making more uses of bottom-patterns work with fixrec

huffman [Sat, 27 Nov 2010 22:48:08 -0800] rev 40794

add lemma cont2cont_if_bottom

isabelle