src/HOL/HOLCF/Library/Option_Cpo.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2014-03-06 blanchet 2014-03-06 renamed 'map_sum' to 'sum_map'
2014-02-14 blanchet 2014-02-14 merged 'Option.map' and 'Option.map_option'
2014-02-12 blanchet 2014-02-12 adapted theories to '{case,rec}_{list,option}' names
2011-03-29 wenzelm 2011-03-29 tuned headers;
2011-01-06 huffman 2011-01-06 rename constant pdefl to liftdefl_of
2010-12-22 huffman 2010-12-22 fix another proof script broken by a35af5180c01
2010-12-20 huffman 2010-12-20 configure domain package to work with HOL option type
2010-12-19 huffman 2010-12-19 use deflations over type 'udom u' to represent predomains; removed now-unnecessary class liftdomain;
2010-12-11 huffman 2010-12-11 add HOLCF library theories with cpo/predomain instances for HOL types