equal
deleted
inserted
replaced
127 or |
127 or |
128 <p> |
128 <p> |
129 |
129 |
130 <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br> |
130 <a href="http://www.in.tum.de/~nipkow/">Tobias Nipkow</a><br> |
131 Institut für Informatik<br> |
131 Institut für Informatik<br> |
132 T. U. München<br> |
132 Technische Universität München<br> |
133 D-80290 München<br> |
133 Boltzmannstr. 3<br> |
|
134 D-85748 Garching<br> |
134 Germany<br> |
135 Germany<br> |
135 <br> |
136 <br> |
136 E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br> |
137 E-mail: <A HREF="mailto:nipkow@in.tum.de">nipkow@in.tum.de</A><br> |
137 Phone: +49-89-289-22690<br> |
138 Phone: +49-89-289-17302<br> |
138 Fax: +49-89-289-28183<br> |
139 Fax: +49-89-289-17307<br> |
139 |
|
140 <p> |
140 <p> |
141 |
141 |
142 <hr> |
142 <hr> |
143 |
143 |
144 Please report any problems you encounter. While we shall try to be |
144 Please report any problems you encounter. While we shall try to be |