# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2d853113adfa5a434704dadd4d2fe7a612050a39
uuid: bb4e031b-5bd6-437b-bc7b-190ca0f8726d
input_heaps:
f0a12a2aec69f13fa5d0bad6bd85ace47d658fb7
79de5a894792a27db391599b9e95af83f31c70b4
c53e263de555d52a4bae289071ab5c82ceb3acfe


