# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 62d371d0d96b4d6665d48f8efbb3889a486d4e4b
input_heaps:
7d1dbd56b7ae23b5a955bd6c5743b21383ee1393
fb3f0a8308eeb92bd5e73d9ddc23c4d0ea3cb1c5
58e0ada0707ca2b550e6a935787b3c4f95c18504


