| Tue, 24 Apr 2007 15:18:09 +0200 | berghofe | Added intro / elim rules for prod_case. | changeset | files |
| Tue, 24 Apr 2007 15:17:22 +0200 | berghofe | sum_case is now authentic. | changeset | files |
| Tue, 24 Apr 2007 15:15:52 +0200 | berghofe | Adapted to new parse translation for case expressions. | changeset | files |
| Tue, 24 Apr 2007 15:14:31 +0200 | berghofe | Parse / print translations for nested case expressions, taken | changeset | files |