# isabelle_session_info

session_name: HOL-Nominal
sources: 976d4403f3ba474621d82446c014586a0b0b3dbc
output_heap: 2626d34d124759a2df403e0401d6c88c46f8031d
input_heaps:
8f0f23b1ee8368666f183b49cf0e04597c11b03b
51aaedb747ba6214463c72ede31cf3271ddeb463
d78ba66e93e890729f45436e57b003a4582e2c4b


