# isabelle_session_info

session_name: HOL-Nominal
sources: 0a280b9ce58b9f5c47c7441be5a6106966d3aa64
output_heap: 7afc9a491f97deb7a829f421cfd12df69e1c1fda
input_heaps:
71694b1f2d25d2d9aeaca0f1ab390c835916ace2
24112e61b571a2bcd40de8683c354fe7120c1068
3f3d97eda4172cfcc4674099b18491488b051f14


