# isabelle_session_info

session_name: HOL-Nominal
sources: 6a32e8616f07a2690c46abc3f2ac3c2d11abac65
output_heap: b037d093f08cef1d264dcdbf0a3bc72b278a3bd5
input_heaps:
cf9f2e81ac8216fb96115b1954a56acdb70fa044
b84ef1fe993781e8ee07abc4373f149f194fe8bf
8e8644e5c195f1c94a349854d76163a0622d99db


