| Thu, 11 Oct 2007 10:23:09 +0200 |
paulson |
failure messages
|
changeset |
files
|
| Thu, 11 Oct 2007 00:33:43 +0200 |
wenzelm |
'notation': allow structmixfix;
|
changeset |
files
|
| Thu, 11 Oct 2007 00:28:32 +0200 |
wenzelm |
update_modesyntax: may delete 'structure' notation as well;
|
changeset |
files
|
| 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
|
| Wed, 10 Oct 2007 17:31:56 +0200 |
wenzelm |
generalized notation interface (add or del);
|
changeset |
files
|
| Wed, 10 Oct 2007 17:31:55 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 10 Oct 2007 17:31:54 +0200 |
wenzelm |
improved abs_def: only abstract over outermost (unique) Vars;
|
changeset |
files
|
| Wed, 10 Oct 2007 17:31:53 +0200 |
wenzelm |
proper latex antiquotations instead of adhoc escapes;
|
changeset |
files
|
| Wed, 10 Oct 2007 17:31:52 +0200 |
wenzelm |
updated;
|
changeset |
files
|
| Wed, 10 Oct 2007 16:29:11 +0200 |
wenzelm |
added no_notation;
|
changeset |
files
|
| Wed, 10 Oct 2007 15:05:42 +0200 |
paulson |
removed dead code
|
changeset |
files
|