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