src/HOL/HOLCF/Library/List_Predomain.thy
Mon, 20 Dec 2010 09:48:16 -0800 huffman simplify proofs
Mon, 20 Dec 2010 08:26:47 -0800 huffman configure domain package to work with HOL sum type
Mon, 20 Dec 2010 07:50:47 -0800 huffman replace list_map function with an abbreviation
Sun, 19 Dec 2010 17:37:19 -0800 huffman use deflations over type 'udom u' to represent predomains;
Sat, 11 Dec 2010 21:27:53 -0800 huffman add HOLCF library theories with cpo/predomain instances for HOL types
less more (0) tip