src/HOLCF/Cprod.thy
2008-01-10 huffman 2008-01-10 new compactness lemmas
2008-01-04 huffman 2008-01-04 new instance proofs for classes finite_po, chfin, flat
2008-01-03 huffman 2008-01-03 instance unit :: finite_po
2008-01-02 huffman 2008-01-02 update instance proofs for sq_ord, po; new instance proofs for dcpo
2007-10-21 wenzelm 2007-10-21 modernized specifications ('definition', 'abbreviation', 'notation');
2005-11-30 huffman 2005-11-30 add constant unit_when
2005-11-03 huffman 2005-11-03 change syntax for LAM to use expressions as patterns; define LAM pattern syntax for cpair, spair, sinl, sinr, up
2005-11-03 huffman 2005-11-03 make cpair_less, cpair_defined_iff into iff rules; add lemma csplit1
2005-10-12 huffman 2005-10-12 added compactness lemmas; cleaned up
2005-10-11 huffman 2005-10-11 added xsymbols syntax for pairs; cleaned up
2005-10-10 huffman 2005-10-10 new syntax translations for continuous lambda abstraction
2005-07-26 huffman 2005-07-26 add theorem cpair_defined_iff
2005-07-08 huffman 2005-07-08 add lemma eq_cprod
2005-06-23 huffman 2005-06-23 add csplit3, ssplit3, fup3 as simp rules
2005-06-08 huffman 2005-06-08 added theorem less_cprod
2005-06-03 huffman 2005-06-03 changed to use new contlubI, monofun_def; renamed cfst2, csnd2 to cfst_cpair, csnd_cpair; added lemma cpair_strict
2005-05-27 huffman 2005-05-27 use thelub_const lemma
2005-05-26 huffman 2005-05-26 cleaned up, added cpair_less and cpair_eq_pair, removed some obsolete stuff
2005-05-25 wenzelm 2005-05-25 removed LICENCE note -- everything is subject to Isabelle licence as stated in COPYRIGHT file;
2005-05-24 huffman 2005-05-24 added lemma cpair_eq, made cfst_strict and csnd_strict into simp rules
2005-05-19 huffman 2005-05-19 pcpo instance for type unit
2005-03-14 huffman 2005-03-14 fixed syntax for Let <x,y> = a in e
2005-03-10 huffman 2005-03-10 fixed filename in header
2005-03-08 huffman 2005-03-08 reordered and arranged for document generation, cleaned up some proofs
2005-03-04 huffman 2005-03-04 fix headers
2005-03-04 huffman 2005-03-04 converted to new-style theories, and combined numbered files