# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1364405165 0
# Node ID b9e6ac16583d2afeb80f6859a2e5561c01b0f0f5
# Parent  e73d8b5aaec400d21ec984ac4912584f025d3e83
added Tjark

diff -r e73d8b5aaec4 -r b9e6ac16583d index.html
--- a/index.html	Wed Mar 27 13:26:35 2013 +0000
+++ b/index.html	Wed Mar 27 17:26:05 2013 +0000
@@ -166,8 +166,9 @@
 I currently work on Nominal 
 <A HREF="http://isabelle.in.tum.de">Isabelle</A>. This is joint work with 
 <A HREF="http://wwwbroy.in.tum.de/~berghofe/">Dr Stefan Berghofer</A>,
-<A HREF="http://www4.in.tum.de/~wenzelm/">Dr Markus Wenzel</A>,
-<A HREF="http://www4.in.tum.de/~kaliszyk/">Dr Cezary Kaliszyk</A> and 
+<A HREF="https://www.lri.fr/~wenzel/">Dr Markus Wenzel</A>,
+<A HREF="http://cl-informatik.uibk.ac.at/users/cek/">Dr Cezary Kaliszyk</A>,
+<A HREF="http://user.it.uu.se/~tjawe125/">Dr Tjark Weber</A> and 
 the Isabelle-team in Munich.
 Many of the theoretical ideas originate from the nominal logic project - a wonderful project headed 
 by <A HREF="http://www.cl.cam.ac.uk/~amp12/">Prof. Andrew Pitts</A>.