Mon, 14 Jan 2008 03:56:31 +0100 | huffman | use new-style class for po | changeset | files |
Mon, 14 Jan 2008 03:54:31 +0100 | huffman | add lemma contI2 | changeset | files |
Mon, 14 Jan 2008 03:49:53 +0100 | huffman | converted adm_all and adm_ball to rule_format; cleaned up | changeset | files |