| Thu, 07 Jul 1994 19:22:49 +0200 | nipkow | changed priority of :: | changeset | files |
| Wed, 06 Jul 1994 14:39:32 +0200 | wenzelm | exported opt_infix, opt_mixfix parsers; | changeset | files |
| Wed, 06 Jul 1994 12:51:27 +0200 | wenzelm | added raw_unify; | changeset | files |
| Wed, 06 Jul 1994 12:49:56 +0200 | wenzelm | various minor changes (names and comments); | changeset | files |