| Fri, 06 Nov 1998 14:04:54 +0100 | wenzelm | spell check; | changeset | files |
| Fri, 06 Nov 1998 13:58:59 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 06 Nov 1998 13:42:13 +0100 | mueller | added mailing list, removed mirrors; | changeset | files |
| Fri, 06 Nov 1998 13:20:29 +0100 | paulson | Revising the Client proof as suggested by Michel Charpentier. New lemmas | changeset | files |