| Tue, 03 Jul 2007 17:17:04 +0200 | wenzelm | CONVERSION tactical; | changeset | files |
| Tue, 03 Jul 2007 15:23:11 +0200 | nipkow | Fixed problem with patterns in lambdas | changeset | files |
| Tue, 03 Jul 2007 14:48:27 +0200 | krauss | fixed an issue with mutual recursion | changeset | files |