isabelle: Changelog

haftmann [Tue, 10 Nov 2009 16:11:37 +0100] rev 33593

tuned imports

huffman [Tue, 10 Nov 2009 06:48:26 -0800] rev 33592

merged

huffman [Tue, 10 Nov 2009 06:47:55 -0800] rev 33591

HOLCF example: domain package proofs done manually

huffman [Tue, 10 Nov 2009 06:30:19 -0800] rev 33590

add lemma parallel_fix_ind

huffman [Tue, 10 Nov 2009 06:30:08 -0800] rev 33589

add title/author block

huffman [Tue, 10 Nov 2009 06:22:29 -0800] rev 33588

theory of representable cpos

huffman [Mon, 09 Nov 2009 15:51:32 -0800] rev 33587

add map_map lemmas

huffman [Mon, 09 Nov 2009 15:29:58 -0800] rev 33586

add in_deflation relation, more lemmas about cast

huffman [Mon, 09 Nov 2009 12:40:47 -0800] rev 33585

ep_pair and deflation lemmas for powerdomain map functions

blanchet [Tue, 10 Nov 2009 14:20:15 +0100] rev 33584

remove spurious parameter to "merge"

isabelle