Session HOL-Nominal

Theories

• Nominal
  • File ‹nominal_thmdecls.ML›
  • File ‹nominal_atoms.ML›
  • File ‹nominal_permeq.ML›
  • File ‹nominal_fresh_fun.ML›
  • File ‹nominal_datatype.ML›
  • File ‹nominal_primrec.ML›
  • File ‹nominal_inductive.ML›
  • File ‹nominal_inductive2.ML›
  • File ‹nominal_induct.ML›