| 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 |
| Thu, 07 Dec 2006 17:58:54 +0100 | wenzelm | added input_mode; | changeset | files |
| Thu, 07 Dec 2006 17:58:52 +0100 | wenzelm | tuned print_locale output; | changeset | files |
| Thu, 07 Dec 2006 17:58:50 +0100 | wenzelm | moved notation/abbrevs to TermSyntax; | changeset | files |
| Thu, 07 Dec 2006 17:58:50 +0100 | wenzelm | expand_term: based on Envir.expand_term; | changeset | files |