| Tue, 03 Jul 2007 14:48:27 +0200 | krauss | fixed an issue with mutual recursion | changeset | files |
| Tue, 03 Jul 2007 01:26:06 +0200 | huffman | instance pordered_comm_ring < pordered_ring | changeset | files |
| Mon, 02 Jul 2007 23:14:06 +0200 | nipkow | Added pattern maatching for lambda abstraction | changeset | files |