| Wed, 23 Jan 2002 17:01:53 +0100 | wenzelm | less_Suc0; | changeset | files |
| Wed, 23 Jan 2002 16:58:45 +0100 | wenzelm | error "Unexpected end of input"; | changeset | files |
| Wed, 23 Jan 2002 16:58:26 +0100 | wenzelm | reorganized code for predicate text; | changeset | files |