| 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 |
| Fri, 21 May 2004 21:47:07 +0200 | berghofe | Modified functions pt_to_ast and ast_to_term to improve handling | changeset | files |