isabelle: Changelog

haftmann [Mon, 13 Dec 2010 22:54:47 +0100] rev 41118

separated dictionary weakning into separate type

krauss [Mon, 13 Dec 2010 10:15:27 +0100] rev 41117

eliminated dest_all_all_ctx

krauss [Mon, 13 Dec 2010 10:15:26 +0100] rev 41116

private term variant of Variable.focus

bulwahn [Mon, 13 Dec 2010 08:51:52 +0100] rev 41115

adding an executable THE operator on finite types

krauss [Sun, 12 Dec 2010 21:41:01 +0100] rev 41114

tuned headers

krauss [Sun, 12 Dec 2010 21:40:59 +0100] rev 41113

added signature; more honest header

huffman [Sat, 11 Dec 2010 21:27:53 -0800] rev 41112

add HOLCF library theories with cpo/predomain instances for HOL types

huffman [Sat, 11 Dec 2010 11:26:37 -0800] rev 41111

xsymbol notation for powerdomain types

huffman [Sat, 11 Dec 2010 10:35:40 -0800] rev 41110

new powerdomain lemmas

krauss [Sat, 11 Dec 2010 00:14:12 +0100] rev 41109

made smlnj happy

isabelle