| Mon, 12 Jun 1995 15:01:03 +0200 | clasohm | fixed bug in mfix_to_xprod: lambda productions' lhs shouldn't be modified | changeset | files |
| Tue, 06 Jun 1995 10:40:01 +0200 | lcp | converted to LaTeX-2e | changeset | files |
| Tue, 06 Jun 1995 10:33:32 +0200 | lcp | Now string_of_vname checks for the empty variable name, | changeset | files |
| Fri, 02 Jun 1995 10:38:48 +0200 | lcp | Corrected comments in headers | changeset | files |
| Thu, 01 Jun 1995 13:25:06 +0200 | clasohm | commented thms_unifying_with out; placed thm_db into signature again; | changeset | files |
| Thu, 01 Jun 1995 12:31:52 +0200 | nipkow | Added dependence on Thy/thm_database.ML | changeset | files |