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
to the file $HOME/isabelle/etc/settings.