Fri, 08 Jul 2005 02:38:05 +0200 | huffman | add lemma eq_sprod | changeset | files |
Fri, 08 Jul 2005 02:37:42 +0200 | huffman | add lemma eq_cprod | changeset | files |
Thu, 07 Jul 2005 21:41:08 +0200 | huffman | removed obsolete continuity theorems | changeset | files |
Thu, 07 Jul 2005 21:22:15 +0200 | huffman | define lift type using pcpodef; cleaned up | changeset | files |
Thu, 07 Jul 2005 20:41:12 +0200 | huffman | cleaned up | changeset | files |
Thu, 07 Jul 2005 19:55:46 +0200 | huffman | fixes to work with UU_reorient_simproc | changeset | files |