| Thu, 11 Oct 2007 00:28:30 +0200 | wenzelm | 'notation': allow 'structure' as well; | changeset | files |
| Wed, 10 Oct 2007 17:32:00 +0200 | wenzelm | removed redundant strip_vars/abs_eqn, use improved Drule.abs_def instead; | changeset | files |
| Wed, 10 Oct 2007 17:31:59 +0200 | wenzelm | replaced add_modesyntax by general update_modesyntax (add or del); | changeset | files |
| Wed, 10 Oct 2007 17:31:58 +0200 | wenzelm | added 'no_notation'; | changeset | files |