Mon, 10 Mar 2008 21:51:44 +0100 | haftmann | exported suffix | changeset | files |
Mon, 10 Mar 2008 21:51:43 +0100 | haftmann | fixed typo | changeset | files |
Mon, 10 Mar 2008 21:51:42 +0100 | haftmann | adjusted to current implementation | changeset | files |
Mon, 10 Mar 2008 18:44:20 +0100 | huffman | instance fun :: (finite, countable) countable | changeset | files |