diff -r ae516c20c5f1 -r 4dac76eb27d9 Nominal/download-old.html
--- a/Nominal/download-old.html Sat Jan 28 06:40:19 2017 +0000
+++ b/Nominal/download-old.html Sat Jan 28 07:17:00 2017 +0000
@@ -13,12 +13,12 @@
follow the instructions in INSTALL.
-Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)
+Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package)
-INSTALL
+INSTALL