--- a/index.html	Thu Jun 23 10:12:25 2016 +0100
+++ b/index.html	Sat Jul 16 14:01:46 2016 +0100
@@ -132,7 +132,8 @@
 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year
   test-of-time award from CADE, for our
   <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/nom-cade-05.ps">paper</A>
-  on Nominal Techniques in Isabelle/HOL from 2005.
+  on Nominal Techniques in Isabelle/HOL from 2005. This award was given also to Nicolaas de Bruijn and
+  Nachum Derschowitz, amongst others.
 <P>
   
 <B>Research Interests</B> theorem provers, verification, programming languages, compilers,