Fri, 28 Feb 1997 16:47:56 +0100 | wenzelm | split ast_of_term(T); | changeset | files |
Fri, 28 Feb 1997 16:46:26 +0100 | wenzelm | added token translation support; | changeset | files |
Fri, 28 Feb 1997 16:45:38 +0100 | wenzelm | term_of_... now mark class, tfree, tvar; | changeset | files |