The Isabelle theories formalizing a modal logic for nominal transition systems, as presented in the paper
Modal Logics for Nominal Transition Systems
by Joachim Parrow, Johannes Borgström, Lars-Henrik Eriksson, Ramūnas Gutkovas, and Tjark Weber, are now available from the Archive of Formal Proofs: