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 |