| Wed, 02 Jan 2008 20:23:49 +0100 | huffman | add dcpo instance proof | changeset | files |
| Wed, 02 Jan 2008 19:51:29 +0100 | huffman | declare upE as cases rule; add new rule up_induct | changeset | files |
| Wed, 02 Jan 2008 19:41:12 +0100 | huffman | update sq_ord/po instance proofs | changeset | files |
| Wed, 02 Jan 2008 18:57:40 +0100 | huffman | move lemmas from Cont.thy to Ffun.thy; | changeset | files |