equal
deleted
inserted
replaced
1 <html> |
1 <html> |
2 |
2 |
3 <head> |
3 <head> |
4 <!-- $Id$ --> |
4 <!-- $Id$ --> |
5 <title>Isabelle</title> |
5 <title>Isabelle</title> |
|
6 </head> |
6 |
7 |
7 <body> |
8 <body> |
8 |
9 |
9 <h1>Isabelle </h1> <a href="http://www.in.tum.de/~isabelle/logo/"><img |
10 <h1>Isabelle </h1> <a href="http://www.in.tum.de/~isabelle/logo/"><img |
10 src="isabelle.gif" width=100 align=right alt="[Isabelle logo]"></a> |
11 src="isabelle.gif" width=100 align=right alt="[Isabelle logo]"></a> |
135 Isabelle pages at <a |
136 Isabelle pages at <a |
136 href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html">Cambridge</a> |
137 href="http://www.cl.cam.ac.uk/Research/HVG/cambridge.html">Cambridge</a> |
137 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a> |
138 and <a href="http://www.in.tum.de/~isabelle/munich.html">Munich</a> |
138 provide further information on Isabelle and related projects. |
139 provide further information on Isabelle and related projects. |
139 |
140 |
|
141 </body> |
|
142 |
140 </html> |
143 </html> |