| 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 |
| Fri, 08 Oct 1993 14:11:12 +0100 | wenzelm | @List: replaced "args" by "is"; | changeset | files |
| Fri, 08 Oct 1993 13:55:04 +0100 | wenzelm | *** empty log message *** | changeset | files |
| Fri, 08 Oct 1993 12:35:53 +0100 | wenzelm | added cons, rcons, last_elem, sort_strings, take_suffix; | changeset | files |
| Fri, 08 Oct 1993 12:33:17 +0100 | wenzelm | added raise_type: string -> typ list -> term list -> 'a; | changeset | files |
| Fri, 08 Oct 1993 12:30:01 +0100 | wenzelm | "The error/exception above ...": errorneous goal now quoted; | changeset | files |