Tue, 25 Jul 2006 21:18:02 +0200 | wenzelm | renamed add_term_varnames to Term.add_varnames (cf. Term.add_vars etc.); | changeset | files |
Tue, 25 Jul 2006 21:18:01 +0200 | wenzelm | tuned ML code; | changeset | files |
Tue, 25 Jul 2006 21:18:00 +0200 | wenzelm | renamed Term.variant_abs to Syntax.variant_abs; | changeset | files |