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