src/HOLCF/Universal.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-03-16 huffman 2009-03-16 clean up proofs
2009-03-13 huffman 2009-03-13 introduce new helper functions; clean up proofs
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-11-25 huffman 2008-11-25 renamed lemma compact_minimal to compact_bot_minimal
2008-07-01 huffman 2008-07-01 universal bifinite domain