| Fri, 09 Nov 2001 00:20:26 +0100 | wenzelm | eliminated old "symbols" syntax, use "xsymbols" instead; | changeset | files |
| Fri, 09 Nov 2001 00:19:20 +0100 | wenzelm | theory data: finish method; | changeset | files |
| Fri, 09 Nov 2001 00:18:23 +0100 | wenzelm | indexvar_ast_tr (for \<index> placeholder); | changeset | files |
| Fri, 09 Nov 2001 00:17:52 +0100 | wenzelm | removed pure_sym_syntax; | changeset | files |