src/HOLCF/Cprod.thy
Mon, 14 Jan 2008 20:04:40 +0100 huffman simplified chfin instance proof
Thu, 10 Jan 2008 05:15:43 +0100 huffman new compactness lemmas
Fri, 04 Jan 2008 00:01:02 +0100 huffman new instance proofs for classes finite_po, chfin, flat
Thu, 03 Jan 2008 22:10:52 +0100 huffman instance unit :: finite_po
Wed, 02 Jan 2008 18:29:03 +0100 huffman update instance proofs for sq_ord, po; new instance proofs for dcpo
Sun, 21 Oct 2007 14:21:48 +0200 wenzelm modernized specifications ('definition', 'abbreviation', 'notation');
Wed, 30 Nov 2005 00:53:30 +0100 huffman add constant unit_when
Thu, 03 Nov 2005 01:11:39 +0100 huffman change syntax for LAM to use expressions as patterns; define LAM pattern syntax for cpair, spair, sinl, sinr, up
Thu, 03 Nov 2005 01:02:29 +0100 huffman make cpair_less, cpair_defined_iff into iff rules; add lemma csplit1
Wed, 12 Oct 2005 01:43:37 +0200 huffman added compactness lemmas; cleaned up
Tue, 11 Oct 2005 23:27:14 +0200 huffman added xsymbols syntax for pairs; cleaned up
Mon, 10 Oct 2005 05:30:02 +0200 huffman new syntax translations for continuous lambda abstraction
Tue, 26 Jul 2005 18:22:03 +0200 huffman add theorem cpair_defined_iff
Fri, 08 Jul 2005 02:37:42 +0200 huffman add lemma eq_cprod
Thu, 23 Jun 2005 22:07:30 +0200 huffman add csplit3, ssplit3, fup3 as simp rules
Wed, 08 Jun 2005 00:07:46 +0200 huffman added theorem less_cprod
Fri, 03 Jun 2005 23:26:32 +0200 huffman changed to use new contlubI, monofun_def; renamed cfst2, csnd2 to cfst_cpair, csnd_cpair; added lemma cpair_strict
Fri, 27 May 2005 00:16:18 +0200 huffman use thelub_const lemma
Thu, 26 May 2005 02:23:27 +0200 huffman cleaned up, added cpair_less and cpair_eq_pair, removed some obsolete stuff
Wed, 25 May 2005 09:44:34 +0200 wenzelm removed LICENCE note -- everything is subject to Isabelle licence as
Tue, 24 May 2005 05:32:19 +0200 huffman added lemma cpair_eq, made cfst_strict and csnd_strict into simp rules
Thu, 19 May 2005 02:33:40 +0200 huffman pcpo instance for type unit
Mon, 14 Mar 2005 20:30:43 +0100 huffman fixed syntax for Let <x,y> = a in e
Thu, 10 Mar 2005 20:22:45 +0100 huffman fixed filename in header
Tue, 08 Mar 2005 00:32:10 +0100 huffman reordered and arranged for document generation, cleaned up some proofs
Fri, 04 Mar 2005 23:23:47 +0100 huffman fix headers
Fri, 04 Mar 2005 23:12:36 +0100 huffman converted to new-style theories, and combined numbered files
less more (0) tip