Mon, 11 May 1998 14:40:40 +0200 | nipkow | Reordered a few parameters. | changeset | files |
Mon, 11 May 1998 13:18:25 +0200 | nipkow | Lex | changeset | files |
Sun, 10 May 1998 11:59:31 +0200 | wenzelm | tuned comment; | changeset | files |
Fri, 08 May 1998 18:33:29 +0200 | nipkow | Reshuffeling, renaming and a few simple corollaries. | changeset | files |
Fri, 08 May 1998 15:45:01 +0200 | wenzelm | fixed translations; | changeset | files |
Fri, 08 May 1998 13:54:45 +0200 | wenzelm | proper thy files; | changeset | files |
Fri, 08 May 1998 10:15:39 +0200 | wenzelm | fixed update syntax; | changeset | files |