--- a/Admin/page/main-layout/template.html Tue Apr 16 12:23:33 2002 +0200
+++ b/Admin/page/main-layout/template.html Tue Apr 16 12:23:49 2002 +0200
@@ -28,7 +28,7 @@
</b>
</td>
<td width="40%" valign="middle" align="center" nowrap>
- <a href="http://isabelle.in.tum.de/munich.html"><img src="munich.gif"
+ <a href="http://www4.in.tum.de/proj/theoremprov/group.html"><img src="munich.gif"
border=0 width="48" height="59" alt="[Munich logo]"></a>
<a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/cambridge.html"><img