Fri, 21 May 2004 21:21:51 +0200 | wenzelm | incorporate sort ops from term.ML; use Graph.T; misc cleanup; | changeset | files |
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 |