| Tue, 09 Jan 2001 13:54:44 +0100 | oheimb | improved evaluation judgment syntax; modified Loop rule | changeset | files |
| Tue, 09 Jan 2001 12:11:56 +0100 | wenzelm | syntax (xsymbols); | changeset | files |
| Mon, 08 Jan 2001 12:27:36 +0100 | nipkow | Removed Applyall | changeset | files |