# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1325875304 0
# Node ID 618f6f2656868a39e83cf23f440c6d8c4ce371b3
# Parent  6b32a3d2ec9f5d5071f9509f95c5e85f679f1362
tuned

diff -r 6b32a3d2ec9f -r 618f6f265686 index.html
--- a/index.html	Fri Jan 06 18:41:11 2012 +0000
+++ b/index.html	Fri Jan 06 18:41:44 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 for proving consistency for their superdeduction system lemuridae.
+students for proving consistency of 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:41:06 GMT 2012
+Last modified: Fri Jan  6 18:41:42 GMT 2012
 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>