diff -r 12b4acfcfc7d -r 6b32a3d2ec9f index.html
--- a/index.html	Fri Jan 06 18:40:43 2012 +0000
+++ b/index.html	Fri Jan 06 18:41:11 2012 +0000
@@ -257,7 +257,7 @@
 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 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.
+students for proving consistency for their superdeduction system lemuridae.
 </TD>
 </TR>
 
@@ -291,7 +291,7 @@
 </TABLE>
 <P><!-- Created: Tue Mar  4 00:23:25 GMT 1997 -->
 <!-- hhmts start -->
-Last modified: Fri Jan  6 18:40:38 GMT 2012
+Last modified: Fri Jan  6 18:41:06 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>