Tue, 30 Nov 2010 15:56:19 -0800 | huffman | change cpodef-generated cont_Rep rules to cont2cont format | changeset | files |
Tue, 30 Nov 2010 15:34:51 -0800 | huffman | internal domain package proofs use cont2cont simproc instead of a fixed list of cont rules | changeset | files |
Tue, 30 Nov 2010 14:21:57 -0800 | huffman | remove gratuitous semicolons from ML code | changeset | files |