# isabelle_session_info

session_name: HOL-Nominal
sources: b0efd767dbd5911cccc65a6172068838f4ac2127
output_heap: 5e1ccbda208a44fe9a4a45d7eb5d2acf40249492
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
cea65f62510c72c82894137cc6afc255458430a6


