# isabelle_session_info

session_name: HOL-Nominal
sources: b6dddcb9570cd356e8e5dcdc842b23f7367f4c03
output_heap: ad088fd3ea0a11aa1c21a09d04318a645034e4c5
input_heaps:
902f55b990891c03dddf854b84aaabb24ee3cee3
e6e8b4787869145ada1a85e687fd48496d7b5e76
e4104b5733d86025b5642d0b39adeb91dfd0561b


