# isabelle_session_info

session_name: HOL-Nominal
sources: ca98386ed146c2d8543f028f12127c363ac8a24e
output_heap: 3c25d32525f1fcee3b2a40bc7186e2bb0995af11
input_heaps:
84f26ce01913cf374dc1c991cfbba0ac44f7783a
e7d19b8d6ca2092be300dabcd72735083d5d2405
43b60d3b795e6911ff3abaabb41bfedcfd496f47


