# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1564482254 -3600
# Node ID 0e206a3635832796e246b624fecb566bf2e56600
# Parent  9f1f8b6510a3424a81de1339ed5ab6fc69c41b00
updated

diff -r 9f1f8b6510a3 -r 0e206a363583 index.html
--- a/index.html	Tue Jul 30 11:21:32 2019 +0100
+++ b/index.html	Tue Jul 30 11:24:14 2019 +0100
@@ -221,7 +221,7 @@
 <A HREF="http://en.wikipedia.org/wiki/Emmy_Noether">Emmy-Noether</A> 
 <A HREF="https://www.dfg.de/en/research_funding/programmes/individual/emmy_noether/">fellowship</A>.
 There is a <A HREF="https://nms.kcl.ac.uk/christian.urban/Nominal/">webpage</A> about Nominal
-Isabelle. It also includes a list of projects that use Nominal Isabelle.
+Isabelle, which 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,
 the Haskell Symposium and
 in the Journal of Automated Reasoning.