src/HOLCF/Deflation.thy
2010-10-11 huffman 2010-10-11 new theorem names: fun_below_iff, fun_belowI, cfun_eq_iff, cfun_eqI, cfun_below_iff, cfun_belowI
2010-10-07 huffman 2010-10-07 move stuff from Algebraic.thy to Bifinite.thy and elsewhere
2010-10-05 Brian Huffman 2010-10-05 add lemma finite_deflation_intro
2010-10-05 Brian Huffman 2010-10-05 move lemmas to Deflation.thy
2010-04-28 wenzelm 2010-04-28 renamed command 'defaultsort' to 'default_sort';
2010-03-22 huffman 2010-03-22 fix LaTeX overfull hbox warnings in HOLCF document
2010-03-14 huffman 2010-03-14 use headers consistently
2010-02-17 huffman 2010-02-17 fix warnings about duplicate simp rules
2009-11-05 huffman 2009-11-05 lemma deflation_strict
2009-05-08 huffman 2009-05-08 rename constant sq_le to below; rename class sq_ord to below; less->below in many lemma names
2008-12-30 ballarin 2008-12-30 Merged.
2008-12-16 ballarin 2008-12-16 More porting to new locales.
2008-12-16 huffman 2008-12-16 remove cvs Id tags
2008-10-16 huffman 2008-10-16 rewrite more proofs in Isar style
2008-10-16 ballarin 2008-10-16 More occurrences of 'includes' gone.
2008-07-25 haftmann 2008-07-25 dropped locale (open)
2008-06-30 huffman 2008-06-30 New theory of deflations and embedding-projection pairs