| 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 |