| changeset 71337 | e20c47795846 |
| parent 71336 | b9a9afa70d1a |
| child 73530 | 89cf7c903aca |
| 71336:b9a9afa70d1a | 71337:e20c47795846 |
|---|---|
67 Fax: +44-223-334748 |
67 Fax: +44-223-334748 |
68 |
68 |
69 or |
69 or |
70 |
70 |
71 Tobias Nipkow |
71 Tobias Nipkow |
72 Institut fuer Informatik |
72 Institut für Informatik |
73 Technische Universitaet Muenchen |
73 Technische Universität München |
74 Boltzmannstr. 3 |
74 Boltzmannstr. 3 |
75 D-85748 Garching |
75 D-85748 Garching |
76 Germany |
76 Germany |
77 E-mail: nipkow@in.tum.de |
77 E-mail: nipkow@in.tum.de |
78 Phone: +49-89-289-17302 |
78 Phone: +49-89-289-17302 |