| changeset 5401 | 79d3b232d859 |
| parent 5207 | dd4f51adfff3 |
| child 5402 | 49b118cbbea0 |
--- a/README.html Thu Aug 27 20:46:36 1998 +0200 +++ b/README.html Thu Aug 27 20:56:26 1998 +0200 @@ -117,13 +117,13 @@ or <p> -<a href="http://www4.informatik.tu-muenchen.de:80/~nipkow/">Tobias Nipkow</a><br> +<a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br> Institut fuer Informatik<br> T. U. Muenchen<br> D-80290 Muenchen<br> Germany<br> <br> -E-mail: nipkow@informatik.tu-muenchen.de<br> +E-mail: nipkow@www.in.tum.de<br> Phone: +49-89-289-22690<br> Fax: +49-89-289-28183<br>