# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: def0a5ecf41fc58255cc685914f0c7bc6b3e6536
uuid: e0d2c83d-7d82-4b2f-910b-6f6b6743876a
input_heaps:
f120b186b8c94c8dfd968762788edb0b6c1f4705
45a65a42f2948aee1b7614aa26f30387ccd4133d
ec4502022d8f65a39e855ef56cdcf68a8c6ecef2


