--- a/index.html	Fri Jan 06 18:37:52 2012 +0000
+++ b/index.html	Fri Jan 06 18:40:43 2012 +0000
@@ -255,7 +255,7 @@
 Cambridge was funded by two <A HREF="http://www.daad.de/index.html">scholarships</a> 
 from the German government; my year in Marseille by a TMR-fellowship from the EU. 
 My PhD was also one starting point for the EPSRC Project on the Semantics of Classical 
-Proofs. The strong normalisation result in the PhD has recently been used by 
+Proofs. The strong normalisation result in the PhD has been used in 2007 by 
 <A HREF="http://www.loria.fr/~ckirchne/hot.html">Prof. Claude Kirchner</A> and his 
 students to prove consistency for their superdeduction system lemuridae.
 </TD>
@@ -291,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Jan  6 18:37:43 GMT 2012
+Last modified: Fri Jan  6 18:40:38 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>