| Fri, 21 May 2004 21:49:45 +0200 | berghofe | - deleted unneeded function eta_long (now in Pure/pattern.ML | changeset | files |
| Fri, 21 May 2004 21:48:35 +0200 | berghofe | Adapted to new syntax for case expressions. | changeset | files |
| Fri, 21 May 2004 21:48:03 +0200 | berghofe | Added more flexible parse / print translations for case expressions. | changeset | files |