| 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 |
| Thu, 07 Dec 2006 21:08:50 +0100 | wenzelm | definition/abbreviation: single argument; | changeset | files |
| Thu, 07 Dec 2006 21:08:48 +0100 | wenzelm | simplified add_abbrev -- single argument; | changeset | files |
| Thu, 07 Dec 2006 21:08:45 +0100 | wenzelm | removed obsolete references to ProofGeneral/isa; | changeset | files |