diff -r 60e2efad126c -r 206271fb1d8c PhD/index.html
--- a/PhD/index.html	Sat Jan 28 07:44:38 2017 +0000
+++ b/PhD/index.html	Sat Jan 28 07:47:39 2017 +0000
@@ -39,8 +39,6 @@
 <A HREF="http://nms.kcl.ac.uk/christian.urban/misc.html">Miscellaneous</A>
 <BR><BR>
 
-<A HREF="http://isabelle.in.tum.de/nominal/">
-<IMG SRC="ribbon.gif" ALT="" style="width: 114px; height: 100px;" align="left">
 </A>
 </TD>