| Mon, 11 Oct 1993 14:00:53 +0100 | clasohm | renamed ordinal.ML to ord.ML | changeset | files |
| Mon, 11 Oct 1993 13:58:22 +0100 | clasohm | renamed ordinal.* to ord.* | changeset | files |
| Mon, 11 Oct 1993 12:35:00 +0100 | wenzelm | "The" now a binder, removed translation; | changeset | files |
| Mon, 11 Oct 1993 12:30:38 +0100 | wenzelm | removed ndependent_tr (no longer needed, use _K); | changeset | files |
| Mon, 11 Oct 1993 12:30:06 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 08 Oct 1993 14:29:55 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 08 Oct 1993 14:18:51 +0100 | wenzelm | fixed comment; | changeset | files |
| Fri, 08 Oct 1993 14:16:29 +0100 | wenzelm | added parse rule for "<*>"; | changeset | files |