diff -r bd78bdbc85a9 -r 5275774155cf README.html
--- a/README.html Sat Apr 17 23:55:58 2004 +0200
+++ b/README.html Mon Apr 19 00:00:05 2004 +0200
@@ -129,14 +129,14 @@
Tobias Nipkow
Institut für Informatik
-T. U. München
-D-80290 München
+Technische Universität München
+Boltzmannstr. 3
+D-85748 Garching
Germany
E-mail: nipkow@in.tum.de
-Phone: +49-89-289-22690
-Fax: +49-89-289-28183
-
+Phone: +49-89-289-17302
+Fax: +49-89-289-17307