| Fri, 21 May 2004 21:21:38 +0200 | wenzelm | type.ML now before Syntax module; | changeset | files |
| Fri, 21 May 2004 21:21:12 +0200 | wenzelm | xxx_typ_raw replace xxx_typ_no_norm forms; | changeset | files |
| Fri, 21 May 2004 21:20:38 +0200 | wenzelm | 'classrel' now allows multiple arguments; | changeset | files |