src/HOLCF/Domain.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-04-10 huffman 2009-04-10 domain package: simplify internal proofs of con_rews
2009-04-10 huffman 2009-04-10 set up domain package in Domain.thy
2008-12-16 huffman 2008-12-16 remove cvs Id tags
2008-01-03 huffman 2008-01-03 remove legacy ML bindings
2007-06-13 wenzelm 2007-06-13 tuned proofs: avoid implicit prems; tuned;
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;
2006-01-29 wenzelm 2006-01-29 tuned proof;
2005-12-22 wenzelm 2005-12-22 exh_casedist2: norm_hhf_eq;
2005-10-12 huffman 2005-10-12 add ML bindings for compactness lemmas
2005-10-11 huffman 2005-10-11 added compactness theorems in locale iso
2005-10-11 huffman 2005-10-11 added several theorems in locale iso
2005-07-08 huffman 2005-07-08 renamed upE1 to upE
2005-06-08 huffman 2005-06-08 fixed renamed lemma
2005-06-04 huffman 2005-06-04 fix imports
2005-06-04 huffman 2005-06-04 add dependency on Fixrec.thy
2005-06-03 huffman 2005-06-03 renamed defined lemmas
2005-05-31 wenzelm 2005-05-31 tuned;
2005-05-25 wenzelm 2005-05-25 removed LICENCE note -- everything is subject to Isabelle licence as stated in COPYRIGHT file;
2005-04-16 huffman 2005-04-16 New file for theorems used by the domain package