| Thu, 07 Dec 2006 23:16:55 +0100 | wenzelm | reorganized structure Tactic vs. MetaSimplifier; | changeset | files |
| Thu, 07 Dec 2006 21:44:13 +0100 | wenzelm | begin/end blocks; | changeset | files |
| Thu, 07 Dec 2006 21:08:51 +0100 | wenzelm | abbrevs: more careful interpretation, avoid dynamic references to local names; | changeset | files |