README
changeset 94 40f292719398
parent 93 082f40a66fd3
child 196 7646f5b4653c
equal deleted inserted replaced
93:082f40a66fd3 94:40f292719398
   110 England
   110 England
   111 
   111 
   112 Tobias Nipkow			E-mail: nipkow@informatik.tu-muenchen.de
   112 Tobias Nipkow			E-mail: nipkow@informatik.tu-muenchen.de
   113 Institut fuer Informatik	Phone: +49-89-2105-2690
   113 Institut fuer Informatik	Phone: +49-89-2105-2690
   114 T. U. Muenchen			Fax:   +49-89-2105-8183
   114 T. U. Muenchen			Fax:   +49-89-2105-8183
   115 Postfach 20 24 20
   115 D-80290 Muenchen
   116 D-8000 Muenchen 2
       
   117 Germany
   116 Germany
   118 
   117 
   119 Last updated 5 November 1993
   118 Last updated 5 November 1993