| 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 |
| Sun, 13 Jan 2008 11:54:36 +0100 | berghofe | Equations for constants without arguments are now declared using | changeset | files |
| Thu, 10 Jan 2008 20:53:06 +0100 | huffman | new theory defining set as a pcpo | changeset | files |
| Thu, 10 Jan 2008 19:28:02 +0100 | berghofe | Test data generation and conversion to terms are now more closely | changeset | files |
| Thu, 10 Jan 2008 19:25:08 +0100 | berghofe | New example involving functions. | changeset | files |