# isabelle_session_info

session_name: HOL-Nominal
sources: a2a95df9953ad016db2000f368f87ae28336a774
output_heap: ea2ba854a0dde45a8ed25c9368b9ef877db07d58
input_heaps:
6323e8ae4a2a39809963028663529f1011d7a0db
0078a6bb432ee63117c92ce3b78ffe13fa962525
2ed1753f9fb6736a39cfc4821cce2d76b8165454


