HOL-Nominal-Examples: respect distinction between sets and functions
HOL-Nominal-Examples: respect distinction between sets and functions

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