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 @@
Nominal2 and Isabelle 2016
At the moment, Nominal2 is still alpha-ware 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:
@@ -47,7 +47,8 @@
Nominal2-2013-1.tgz (18 October 2013)
Nominal2-2013-2.tgz (15 December 2013)
Nominal2-2014.tgz (9 September 2014)
-Nominal2-2015.tgz (9 July 2015)
+Nominal2-2015.tgz (9 July 2015)
+Nominal2-2016.tgz (19 March 2016)