# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1459354069 -3600
# Node ID d765ecc5b2df329f1292a0d3fe49ffab4f461830
# Parent  48f1fb0b8895ea34de45c7a9c2993cffe26aecc3
updated

diff -r 48f1fb0b8895 -r d765ecc5b2df Nominal/main.html
--- a/Nominal/main.html	Wed Mar 30 17:01:15 2016 +0100
+++ b/Nominal/main.html	Wed Mar 30 17:07:49 2016 +0100
@@ -145,7 +145,7 @@
 The plan is to extend this work to full XQuery. The preliminary results appeared at CPP'11.
 
 <li>
-<A HREF="http://www.score.cs.tsukuba.ac.jp/~kaliszyk" target="_top">Cezary Kaliszyk</A> 
+<A HREF="http://cl-informatik.uibk.ac.at/users/cek/" target="_top">Cezary Kaliszyk</A> 
 with input from Henk Barendregt formalised the second fixed point theorem
 of the lambda calculus using Nominal Isabelle 2. This work appeared at CPP'11.