diff -r f1be8028a4a9 -r 75df587e1bcd Nominal/download-old.html-- --- a/Nominal/download-old.html-- Wed Mar 30 17:27:34 2016 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,44 +0,0 @@ - - - - - The Nominal Datatype Package - - - - -

Download

- -Download the Nominal Isabelle snapshot provided below and -follow the instructions in INSTALL. -

- -Isabelle Snapshot from 7. January 2008 (includes version 0.14 of the nominal datatype package) -

- - - -INSTALL -

- -

-Beginning from version 0.13, the nominal package can be started by using -just the command "Isabelle" and enabling the option "HOL-Nominal" in the -ProofGeneral menu "Isabelle -> Logics". If you want that HOL-Nominal is -your default logic, then you can add - -

-ISABELLE_LOGIC="HOL-Nominal" - -

- -to the file $HOME/isabelle/etc/settings. -

- - - - - - -