equal
deleted
inserted
replaced
26 <b> |
26 <b> |
27 <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font> |
27 <font face="Arial,Helvetica" size="+2"><!-- _GP_ content("title") --></font> |
28 </b> |
28 </b> |
29 </td> |
29 </td> |
30 <td width="40%" valign="middle" align="center" nowrap> |
30 <td width="40%" valign="middle" align="center" nowrap> |
31 <a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif" |
31 <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif" |
32 border=0 width="48" height="59" alt="[Munich logo]"></a> |
32 border=0 width="48" height="59" alt="[Munich logo]"></a> |
33 |
33 |
34 <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img |
34 <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img |
35 src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a> |
35 src="cambridge.gif" width="150" height="49" border=0 alt="[Cambridge logo]"></a> |
36 </td> |
36 </td> |