# HG changeset patch
# User Christian Urban <christian dot urban at kcl dot ac dot uk>
# Date 1436489432 -3600
# Node ID 7c7add769d8e6800afc86a11c98ab675e19ad30c
# Parent  de46e57b760329439b18735672e31d9589fb0a07
updated

diff -r de46e57b7603 -r 7c7add769d8e index.html
--- a/index.html	Fri Jul 10 01:44:23 2015 +0100
+++ b/index.html	Fri Jul 10 01:50:32 2015 +0100
@@ -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 CADE.
+Users of Nominal Isabelle had their papers appearing at LICS, POPL, FOSSACS, SOS, TPHOLs, CPP, SEFM and
+in the Journal of Automated Reasoning.
 </TD>
 </TR>
 
@@ -341,7 +342,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Fri Jul 10 01:44:06 BST 2015 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Fri Jul 10 01:50:23 BST 2015 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>