src/HOLCF/Bifinite.thy
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
2009-03-26 wenzelm 2009-03-26 interpretation/interpret: prefixes are mandatory by default;
2009-01-22 haftmann 2009-01-22 simplified handling of base sort, dropped axclass
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-09-16 ballarin 2008-09-16 Do not rely on locale assumption in interpretation.
2008-06-30 huffman 2008-06-30 reuse proofs from Deflation.thy; clean up proof of finite_range_cfun_lemma
2008-06-20 huffman 2008-06-20 simplify profinite class axioms
2008-06-20 huffman 2008-06-20 clean up and rename some profinite lemmas
2008-06-12 huffman 2008-06-12 add lemma finite_image_approx; remove unnecessary sort annotations
2008-05-19 huffman 2008-05-19 use new class package for classes profinite, bifinite; remove approx class
2008-03-26 huffman 2008-03-26 rename class bifinite_cpo to profinite; generalize powerdomains from bifinite to profinite
2008-01-17 huffman 2008-01-17 convert lemma lub_mono to rule_format
2008-01-17 huffman 2008-01-17 rename lemma chain_mono3 -> chain_mono, chain_mono -> chain_mono_less
2008-01-14 huffman 2008-01-14 add class bifinite_cpo for possibly-unpointed bifinite domains
2008-01-14 huffman 2008-01-14 new theory of bifinite domains