diff -r 3f6d96fa5901 -r 9e089afe5086 Nominal/download-old.html --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/Nominal/download-old.html Wed Mar 30 16:06:25 2016 +0100 @@ -0,0 +1,44 @@ + + + + + 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 +

+ +The Nominal Datatype +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. +

+ + + + + + +