# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 25c32c623fe8c8f69d48dc57a5dfe8cd481b1c31
uuid: 1362a506-c018-47a9-a093-a32e4e8f1111
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
fa4a41213b70d8a65ac4b6a07070a1d5c9d6ace1


