| Mon, 10 Oct 2005 03:55:39 +0200 | huffman | replaced foldr' with foldr1 | changeset | files |
| Mon, 10 Oct 2005 03:47:00 +0200 | huffman | cleaned up; renamed "Porder.op <<" to "Porder.<<" | changeset | files |
| Sun, 09 Oct 2005 17:06:03 +0200 | webertj | Tactics sat and satx reimplemented, several improvements | changeset | files |