| Fri, 01 Jul 2005 01:50:46 +0200 | huffman | renamed flatdom2monofun to flatdom_strict2mono | changeset | files |
| Fri, 01 Jul 2005 01:50:07 +0200 | huffman | cleaned up; reorganized and added section headings | changeset | files |
| Fri, 01 Jul 2005 01:48:37 +0200 | huffman | cleaned up; added adm_less to adm_lemmas; added subsection headings | changeset | files |
| Thu, 30 Jun 2005 19:49:41 +0200 | wenzelm | revert to 1.27 due to obscure performance issues (!??); | changeset | files |
| Thu, 30 Jun 2005 19:43:50 +0200 | huffman | replace filter2 with List.partition | changeset | files |
| Thu, 30 Jun 2005 14:06:29 +0200 | ballarin | Proper treatment of beta-redexes in witness theorems. | changeset | files |