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 |