Fri, 21 May 2004 21:25:34 +0200 | wenzelm | incorporate type inference interface from type.ML; | changeset | files |
Fri, 21 May 2004 21:24:22 +0200 | wenzelm | adapted tsig interface; | changeset | files |
Fri, 21 May 2004 21:23:37 +0200 | wenzelm | moved some sort ops to sorts.ML; added string_of_vname (from Syntax module); | changeset | files |