# isabelle_session_info

session_name: HOL-Nominal
sources: d7c9e44a6d00a3f396efa87c6be5fa04b76b8f23
output_heap: adf5154c9e47c9dde63df0779f74c38817df0645
input_heaps:
0f207da8fa38a715f9e8aa8a58fd6614f1b93f2d
ab276ec74ce8749c4ecb0108f5e05afd9c485e27
70268e22ad6bba4f045f4035c1fb38a8b0d8cd6d


