| Tue, 12 Dec 2006 21:25:13 +0100 | wenzelm | add_abbrev: removed Assumption.add_assms (danger of inconsistent naming); | changeset | files |
| Tue, 12 Dec 2006 20:50:23 +0100 | wenzelm | updated; | changeset | files |
| Tue, 12 Dec 2006 20:49:32 +0100 | wenzelm | simplified unlocalize_mixfix; | changeset | files |
| Tue, 12 Dec 2006 20:49:31 +0100 | wenzelm | removed is_class -- handled internally; | changeset | files |
| Tue, 12 Dec 2006 20:49:30 +0100 | wenzelm | notation: Term.equiv_types; | changeset | files |
| Tue, 12 Dec 2006 20:49:29 +0100 | wenzelm | abbrev: tuned signature; | changeset | files |
| Tue, 12 Dec 2006 20:49:28 +0100 | wenzelm | tuned expand_term; | changeset | files |