Sat, 05 Jan 2008 09:16:11 +0100 | haftmann | adhering to instantiation policy | changeset | files |
Fri, 04 Jan 2008 23:56:47 +0100 | huffman | cleaned up some proofs | changeset | files |
Fri, 04 Jan 2008 23:24:32 +0100 | huffman | simplified some proofs | changeset | files |