src/HOLCF/Deflation.thy
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