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 webpage and a mailing list 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. @@ -341,7 +342,7 @@

- Last modified: Fri Jul 10 01:44:06 BST 2015 + Last modified: Fri Jul 10 01:50:23 BST 2015 [Validate this page.]