# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1485589659 0
# Node ID 206271fb1d8c1b1477c220caa10e2318428ea9c2
# Parent  60e2efad126c46a6b6a0000ec3aaffa6df669dac
updated

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>