| changeset 94 | 40f292719398 |
| parent 93 | 082f40a66fd3 |
| child 196 | 7646f5b4653c |
--- a/README Fri Nov 05 11:48:53 1993 +0100 +++ b/README Fri Nov 05 18:49:22 1993 +0100 @@ -112,8 +112,7 @@ Tobias Nipkow E-mail: nipkow@informatik.tu-muenchen.de Institut fuer Informatik Phone: +49-89-2105-2690 T. U. Muenchen Fax: +49-89-2105-8183 -Postfach 20 24 20 -D-8000 Muenchen 2 +D-80290 Muenchen Germany Last updated 5 November 1993