fresh_unit_elim and fresh_prod_elim -- for nominal_induct;
fresh_unit_elim and fresh_prod_elim -- for nominal_induct;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle