| Thu, 26 May 2005 02:24:08 +0200 | huffman | added defaultsort declaration | changeset | files |
| 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 |
| Wed, 25 May 2005 11:18:02 +0200 | kleing | more cleanup | changeset | files |
| Wed, 25 May 2005 11:14:59 +0200 | kleing | tuned thm_style section | changeset | files |
| Wed, 25 May 2005 10:51:42 +0200 | nipkow | added ? explanations | changeset | files |