| 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 |