Thu, 31 Mar 2005 20:12:54 +0200 | quigley | *** empty log message *** | changeset | files |
Thu, 31 Mar 2005 19:47:30 +0200 | quigley | *** empty log message *** | changeset | files |
Thu, 31 Mar 2005 19:29:26 +0200 | quigley | *** empty log message *** | changeset | files |
Thu, 31 Mar 2005 03:03:22 +0200 | huffman | added theorems eta_cfun and cont2cont_eta | changeset | files |
Thu, 31 Mar 2005 03:01:21 +0200 | huffman | chfin now a subclass of po, proved instance chfin < cpo | changeset | files |
Thu, 31 Mar 2005 02:52:49 +0200 | huffman | cleaned up some proofs | changeset | files |
Thu, 31 Mar 2005 02:44:46 +0200 | huffman | fixed bug in prj' function | changeset | files |