# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1366068166 -3600
# Node ID c3c3cfc278d159fa598e6117235ac35a20ed8205
# Parent  b25473c23709a1f03a4e622fbca5de228f03162d
updated

diff -r b25473c23709 -r c3c3cfc278d1 index.html
--- a/index.html	Thu Mar 28 17:07:37 2013 +0000
+++ b/index.html	Tue Apr 16 00:22:46 2013 +0100
@@ -186,7 +186,7 @@
 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 and CPP.
+Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP and SEFM.
 </TD>
 </TR>