| Thu, 07 Dec 2006 00:42:04 +0100 | wenzelm | reorganized structure Goal vs. Tactic; | changeset | files |
| Wed, 06 Dec 2006 21:19:03 +0100 | wenzelm | export: added explicit term operation; | changeset | files |
| Wed, 06 Dec 2006 21:19:02 +0100 | wenzelm | abbrevs: actually observe target_morphism; | changeset | files |