diff -r 7c7add769d8e -r cde52ae55d33 index.html
--- a/index.html	Fri Jul 10 01:50:32 2015 +0100
+++ b/index.html	Tue Jul 28 21:46:23 2015 +0100
@@ -128,7 +128,7 @@
 Service (<A HREF="http://www.daad.de/index.html">DAAD</A>).
 <P>
 
-<B>Skolem Award</B> Together with
+<B>Skolem Award 2015</B> Together with
 <A HREF="http://www.pps.univ-paris-diderot.fr/~tasson/">Christine Tasson</A>, I was awarded a
 <A HREF="http://www.cadeinc.org/SkolemAward.html">Thoralf Skolem Award</A>, a ten-year
   test-of-time award from CADE, for our
@@ -197,7 +197,8 @@
 There is a <A HREF="http://isabelle.in.tum.de/nominal/">webpage</A> and a
 <A HREF="https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/nominal-isabelle">mailing list</A> 
 about Nominal Isabelle. It also includes a list of projects that use Nominal Isabelle.
-Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and
+Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM,
+Haskell Symposium and
 in the Journal of Automated Reasoning.
 </TD>
 </TR>
@@ -342,7 +343,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Jul 10 01:50:23 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Jul 28 21:42:19 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>