| Mon, 11 Jul 1994 16:29:21 +0200 | lcp | misc updates | changeset | files |
| Mon, 11 Jul 1994 13:15:05 +0200 | clasohm | removed flatten_term and replaced add_axioms by add_axioms_i | changeset | files |
| Thu, 07 Jul 1994 19:47:34 +0200 | nipkow | added () around some of the :: | changeset | files |
| 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 |