| Mon, 14 Jan 2008 11:45:57 +0100 | nipkow | *** empty log message *** | changeset | files |
| Mon, 14 Jan 2008 03:58:30 +0100 | huffman | compact_chfin is now declared simp | changeset | files |
| 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 |
| 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 |