haftmann [Sat, 27 Nov 2010 18:51:04 +0100] rev 40991
added evaluation section
haftmann [Sat, 27 Nov 2010 18:51:04 +0100] rev 40990
tuned formatting;
adjustments to changes on ML level
haftmann [Sat, 27 Nov 2010 18:51:04 +0100] rev 40989
added label
wenzelm [Sat, 27 Nov 2010 12:02:19 +0100] rev 40988
removed some old settings;
wenzelm [Sat, 27 Nov 2010 11:51:05 +0100] rev 40987
recovered global "Isabelle" symlink for isatest (cf. 7f745e4b7cce);
huffman [Fri, 26 Nov 2010 15:49:59 -0800] rev 40986
merged
huffman [Fri, 26 Nov 2010 15:24:11 -0800] rev 40985
remove map function names from domain package theory data
huffman [Fri, 26 Nov 2010 14:13:34 -0800] rev 40984
isar-style proof for lemma contI2
huffman [Fri, 26 Nov 2010 15:11:08 -0800] rev 40983
remove case combinator for fixrec match type
huffman [Fri, 26 Nov 2010 14:10:34 -0800] rev 40982
declare more simp rules for powerdomains