| Tue, 12 Dec 2006 20:49:28 +0100 | wenzelm | tuned expand_term; | changeset | files |
| Tue, 12 Dec 2006 20:49:27 +0100 | wenzelm | classified show/thus as prf_asm_goal, which is usually hilited in PG; | changeset | files |
| Tue, 12 Dec 2006 20:49:26 +0100 | wenzelm | tuned expand_binds; | changeset | files |
| Tue, 12 Dec 2006 20:49:25 +0100 | wenzelm | tuned error messages; | changeset | files |
| 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 |