| Wed, 25 Oct 2000 18:32:02 +0200 | wenzelm | more "xsymbols" syntax; | changeset | files |
| Wed, 25 Oct 2000 18:31:21 +0200 | wenzelm | "List prefixes" library theory (replaces old Lex/Prefix); | changeset | files |
| Wed, 25 Oct 2000 18:25:41 +0200 | nipkow | *** empty log message *** | changeset | files |