| Wed, 30 Jan 2008 10:57:46 +0100 | haftmann | dual orders and dual lattices | changeset | files |
| Wed, 30 Jan 2008 10:57:44 +0100 | haftmann | Theorem Inductive.lfp_ordinal_induct generalized to complete lattices | changeset | files |
| Tue, 29 Jan 2008 18:00:12 +0100 | huffman | new term-building combinators | changeset | files |
| Tue, 29 Jan 2008 10:20:00 +0100 | haftmann | cleaned up evaluation interfaces | changeset | files |
| Tue, 29 Jan 2008 10:19:58 +0100 | haftmann | tuned names | changeset | files |
| Tue, 29 Jan 2008 10:19:56 +0100 | haftmann | treating division by zero properly | changeset | files |
| Mon, 28 Jan 2008 22:27:29 +0100 | wenzelm | eliminated escaped white space; | changeset | files |