# isabelle_session_info

session_name: HOL-Nominal
sources: 6de97243e27452836c3ced0976af4772f95b64f4
output_heap: 121cdcd754a18dfc87d76a38cce1ec2fb88edf3b
input_heaps:
5a4c3aee534d8fc2c29daf82c88ad11d6baf9594
ac47f7a6e2098560ab3bbeb5be667268dcbd86d0
3b56ccd3e94bbb4fa6521aa4d7fdca8defa87b87


