# isabelle_session_info

session_name: HOL-Nominal
sources: ec4a8c3a457539ed27707ee4ad1c867cfbd2705c
output_heap: 15d52be8298587821d9b41c3c7e3f81eb8478723
input_heaps:
854150d242a026a9a55d66c1a84d9e6fcd361b2f
4058a9d1c4ae0ea2523ff722e5dba8fe58289abf
c2416a6c71477c6efe9a104cd5970825d3ae4174


