| Tue, 08 Nov 2005 02:19:11 +0100 | huffman | generate pattern combinators for new datatypes | changeset | files |
| Mon, 07 Nov 2005 23:33:01 +0100 | huffman | reimplemented Case syntax using print/parse translations; moved as-patterns to separate section | changeset | files |
| Mon, 07 Nov 2005 23:30:49 +0100 | huffman | add case syntax for type one | changeset | files |
| Mon, 07 Nov 2005 19:23:53 +0100 | huffman | remove syntax for as-patterns | changeset | files |
| Mon, 07 Nov 2005 19:03:02 +0100 | wenzelm | avoid 'as' as identifier; | changeset | files |
| Mon, 07 Nov 2005 18:50:53 +0100 | wenzelm | avoid 'as' as identifier; | changeset | files |
| Mon, 07 Nov 2005 18:32:54 +0100 | berghofe | Added strong induction theorem (currently only axiomatized!). | changeset | files |
| Mon, 07 Nov 2005 15:19:03 +0100 | urbanc | Initial commit. | changeset | files |