# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1524143148 -3600
# Node ID 4f048db44f4d2a4696c463f8a928a0398cba067f
# Parent  3b76d8e0fa76c9d537b786082d42a122a93fd91a
updated

diff -r 3b76d8e0fa76 -r 4f048db44f4d Nominal/download.html
--- a/Nominal/download.html	Thu Apr 19 13:44:34 2018 +0100
+++ b/Nominal/download.html	Thu Apr 19 14:05:48 2018 +0100
@@ -11,13 +11,13 @@
 <h3><IMG SRC="new.gif" ALT="" style="" align="left">Nominal2 and Isabelle 2016</h3>
 
 At the moment, Nominal2 is still <B>alpha-ware</B> and not part of the standard
-Isabelle distribution. But assuming you have a working Isabelle 2016 distribution, 
+Isabelle distribution. But assuming you have a working Isabelle 2016-1 distribution, 
 it can be easily installed. The necessary theory files for Nominal2 can be downloaded 
 from:
 
 <ul>
 <li>  
-<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016) 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016-1.tgz">Nominal2-2016-1.tgz</A> (19 April 2018) 
 </li>
 </ul>
 
@@ -47,7 +47,8 @@
 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-1.tgz">Nominal2-2013-1.tgz</A> (18 October 2013)<BR>
 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2013-2.tgz">Nominal2-2013-2.tgz</A> (15 December 2013)<BR>
 <A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2014.tgz">Nominal2-2014.tgz</A> (9 September 2014)<BR>
-<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR> 
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2015.tgz">Nominal2-2015.tgz</A> (9 July 2015)<BR>
+<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/Nominal2-2016.tgz">Nominal2-2016.tgz</A> (19 March 2016)<BR>    
 </body>
 </html>
 
diff -r 3b76d8e0fa76 -r 4f048db44f4d Publications/Nominal2-2016-1.tgz
Binary file Publications/Nominal2-2016-1.tgz has changed