diff -r cde52ae55d33 -r 2ad6b0ef256c index.html
--- a/index.html	Tue Jul 28 21:46:23 2015 +0100
+++ b/index.html	Tue Jul 28 21:57:45 2015 +0100
@@ -198,7 +198,7 @@
 <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,
-Haskell Symposium and
+the Haskell Symposium and
 in the Journal of Automated Reasoning.
 </TD>
 </TR>
@@ -343,7 +343,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Tue Jul 28 21:42:19 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Tue Jul 28 21:57:35 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>