src/HOL/HOLCF/Library/Option_Cpo.thy
Mon, 20 Dec 2010 10:57:01 -0800 huffman configure domain package to work with HOL option type
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