# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2b6a0ecf1fddf45cea852fb57e3d13be7d122423
input_heaps:
4604eb2567ec75c8d9622816e4c73711a6b8dd27
772366f2f051916b4acac7b2a3824bb7edbc881b
a58f39aafc37e0912c2ddb9c25394a812a4f3016
66aa5984de9a08bdd612168051d2785fcce30ab4


