README.html
changeset 14622 5275774155cf
parent 14612 f0f50362cb67
child 14628 8086e5beef0e
     1.1 --- a/README.html	Sat Apr 17 23:55:58 2004 +0200
     1.2 +++ b/README.html	Mon Apr 19 00:00:05 2004 +0200
     1.3 @@ -129,14 +129,14 @@
     1.4  
     1.5  <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br>
     1.6  Institut für Informatik<br>
     1.7 -T. U. München<br>
     1.8 -D-80290 München<br>
     1.9 +Technische Universität München<br>
    1.10 +Boltzmannstr. 3<br>
    1.11 +D-85748 Garching<br>
    1.12  Germany<br>
    1.13  <br>
    1.14  E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br>
    1.15 -Phone: +49-89-289-22690<br>
    1.16 -Fax:   +49-89-289-28183<br>
    1.17 -
    1.18 +Phone: +49-89-289-17302<br>
    1.19 +Fax:   +49-89-289-17307<br>
    1.20  <p>
    1.21  
    1.22  <hr>