--- a/index.html	Sun Apr 10 20:57:33 2016 +0100
+++ b/index.html	Wed May 04 12:04:16 2016 +0100
@@ -290,10 +290,11 @@
 <A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Unification">formally verified</A> in Isabelle. This 
 was possible  since this unification algorithm is formulated in a simple first-order language 
 (unlike other algorithms for higher-order unification). 
-<A HREF="http://www.cs.indiana.edu/~dfried/">Prof. Daniel Friedman</A> and his group use nominal 
-unification in their alpha-Kanren system implemented in Scheme. 
 <A HREF="http://www.inf.kcl.ac.uk/staff/maribel/">Prof. Maribel Fernandez</A> and her student
 improved the nominal unification algorithm to be quadratic. 
+  <A HREF="http://www.cs.indiana.edu/~dfried/">Prof. Daniel Friedman</A> and his group use nominal 
+unification in their alpha-Kanren system implemented in Scheme. This work has also found its
+  way into <A HREF="http://clojure.org">Clojure</A> as the <A HREF="https://github.com/clojure/core.logic/wiki/core.logic.nominal">core.logic.nominal</A> package.
 My funding for this work was provided through a research fellowship from 
 <A HREF="http://www.corpus.cam.ac.uk">Corpus Christi College</A>, Cambridge. 
 </TD>
@@ -353,7 +354,7 @@
 
 </TABLE>
 <P>
-<!-- hhmts start --> Last modified: Sun Apr 10 20:47:58 BST 2016 <!-- hhmts end -->
+<!-- hhmts start --> Last modified: Wed May  4 12:01:29 BST 2016 <!-- hhmts end -->
 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
 </BODY>
 </HTML>