| Thu, 26 May 2005 10:05:11 +0200 | paulson | Narrower version of the Proof General's head; removal of the alternative icon and environment | changeset | files |
| Thu, 26 May 2005 10:02:01 +0200 | paulson | Narrower version of the Proof General's head | changeset | files |
| 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 |
| Thu, 26 May 2005 02:24:08 +0200 | huffman | added defaultsort declaration | changeset | files |