src/HOL/HOLCF/Compact_Basis.thy
2015-03-24 wenzelm 2015-03-24 tuned proof;
2015-03-23 wenzelm 2015-03-23 tuned proof;
2014-11-02 wenzelm 2014-11-02 modernized header;
2013-03-23 haftmann 2013-03-23 fundamental revision of big operators on sets
2012-10-12 wenzelm 2012-10-12 discontinued obsolete typedef (open) syntax;
2011-11-30 wenzelm 2011-11-30 prefer typedef without extra definition and alternative name; tuned proofs;
2011-03-29 wenzelm 2011-03-29 tuned headers;
2010-12-19 huffman 2010-12-19 minimize imports; move domain class instances for powerdomain types into Powerdomains.thy
2010-12-19 huffman 2010-12-19 powerdomain theories require class 'bifinite' instead of 'domain'
2010-12-19 huffman 2010-12-19 renamed Bifinite.thy to Representable.thy
2010-12-17 huffman 2010-12-17 renamed CompactBasis.thy to Compact_Basis.thy