| 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 | file | diff | annotate |
| Thu, 26 May 2005 02:23:27 +0200 | huffman | cleaned up, added cpair_less and cpair_eq_pair, removed some obsolete stuff | file | diff | annotate |
| Tue, 08 Mar 2005 00:28:46 +0100 | huffman | removed Cprod3_lemma1 and Cprod3_lemma2 | file | diff | annotate |
| Fri, 04 Mar 2005 23:12:36 +0100 | huffman | converted to new-style theories, and combined numbered files | file | diff | annotate |