| Tue, 06 Mar 2007 05:31:23 +0100 | kleing | find_theorems: moved with_dup into the brackets, i.e. | changeset | files |
| Tue, 06 Mar 2007 05:09:53 +0100 | kleing | an O(n log n) version of removing duplicates | changeset | files |
| Mon, 05 Mar 2007 22:39:59 +0100 | kleing | clean up var/running dir before spawning new tests | changeset | files |