| 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 |