# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 376858cce26375c702511c071e8a6d55ca97fe9d
uuid: 1ecddb1a-f91d-4d9b-995a-e6220e9937b8
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
992a34f7a961cf085e7ec70258ae6759379add49


