src/HOL/HOLCF/Library/Int_Discrete.thy
2014-11-02 wenzelm 2014-11-02 modernized header;
2011-03-29 wenzelm 2011-03-29 tuned headers;
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