Thu, 26 May 2005 04:41:56 +0200 | huffman | rewrote continuous isomorphism section, cleaned up | changeset | files |
Thu, 26 May 2005 02:26:28 +0200 | huffman | cleaned up, added UU_app and less_funI, removed some obsolete stuff | changeset | files |
Thu, 26 May 2005 02:24:41 +0200 | huffman | added defaultsort declaration, moved cpair_less to Cprod.thy | changeset | files |