| Wed, 02 Mar 2005 00:54:06 +0100 | huffman | converted to new-style theory | changeset | files |
| Tue, 01 Mar 2005 18:48:52 +0100 | nipkow | integrated Jeremy's FiniteLib | changeset | files |
| Tue, 01 Mar 2005 05:44:13 +0100 | kleing | spider dogding | changeset | files |
| Mon, 28 Feb 2005 18:29:55 +0100 | obua | added setsum_diff1' which holds in more general cases than setsum_diff1 | changeset | files |