src/HOLCF/Pcpodef.thy
2008-01-31 huffman 2008-01-31 add lemma cpo_lubI
2008-01-18 huffman 2008-01-18 pcpodef generates strict_iff lemmas
2008-01-18 huffman 2008-01-18 change lemma admD to rule_format
2008-01-17 huffman 2008-01-17 change class axiom chfin to rule_format
2008-01-04 huffman 2008-01-04 new instance proofs for classes finite_po, chfin, flat
2007-05-31 wenzelm 2007-05-31 moved HOLCF tools to canonical place;
2006-05-01 huffman 2006-05-01 add theorem typdef_flat
2005-10-11 huffman 2005-10-11 added theorem typedef_compact
2005-10-10 huffman 2005-10-10 added theorem typedef_chfin
2005-07-26 huffman 2005-07-26 cleaned up; renamed some theorems
2005-07-07 huffman 2005-07-07 use theorems ch2ch_cont, cont2contlubE
2005-07-06 huffman 2005-07-06 renamed from TypedefPcpo.thy; added theorems Rep_defined, Abs_defined; uses pcpodef_package.ML