Sat, 16 Oct 1999 18:56:09 +0200 | wenzelm | PROOFGENERAL_OPTIONS="-u false"; | changeset | files |
Fri, 15 Oct 1999 16:44:37 +0200 | wenzelm | improved presentation; | changeset | files |
Fri, 15 Oct 1999 16:43:05 +0200 | wenzelm | fixed comment; | changeset | files |