| Tue, 28 Aug 2007 03:49:18 +0200 | huffman | Word Examples directory | changeset | files |
| Tue, 28 Aug 2007 00:18:10 +0200 | kleing | add parallel sessions for atbroy99 and macbroy6 | changeset | files |
| Mon, 27 Aug 2007 17:34:55 +0200 | wenzelm | HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded); | changeset | files |
| Mon, 27 Aug 2007 14:19:38 +0200 | nipkow | Added infinite_descent | changeset | files |