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

The Nominal Datatype