# isabelle_session_info

session_name: HOL-Nominal
sources: 3466ba6b5d9cb8eb8cd9c1a7bbb4ea135eac5a88
output_heap: 056be9594827549088924c4b18a70f0f46f95445
input_heaps:
78f8eff916f7453c3062e701b3cb18e4d64202c8
c47adeb2760bec59a79f0bd1fb07ca0ee2d2d350
018b2b0d6bbe5dae4713f7d45e0fe5d80d4da44e


