Tue, 12 Dec 2006 20:49:24 +0100 | wenzelm | added equiv_types; | changeset | files |
Tue, 12 Dec 2006 20:49:23 +0100 | wenzelm | add_abbrev: tuned signature; | changeset | files |
Tue, 12 Dec 2006 20:49:22 +0100 | wenzelm | added expand_term_frees; | changeset | files |