| Mon, 13 Mar 2000 12:23:44 +0100 | wenzelm | added |>> and |>>>; | changeset | files |
| Mon, 13 Mar 2000 09:08:27 +0100 | nipkow | exhaust->cases | changeset | files |
| Fri, 10 Mar 2000 23:04:07 +0100 | berghofe | Type.typ_match now uses Vartab instead of association lists. | changeset | files |