| Thu, 26 May 2005 02:23:27 +0200 | huffman | cleaned up, added cpair_less and cpair_eq_pair, removed some obsolete stuff | changeset | files |
| Thu, 26 May 2005 00:31:48 +0200 | huffman | removed dependence on Cfun.thy | changeset | files |
| Thu, 26 May 2005 00:30:24 +0200 | huffman | moved adm_chfindom from Adm.thy to Fix.thy, to remove dependence on Cfun | changeset | files |
| Wed, 25 May 2005 16:14:40 +0200 | paulson | new Brouwer ordinal example | changeset | files |