# isabelle_session_info

session_name: HOL-Nominal
sources: c9d2ba2119f06ba301014cacb2d5e623b50c7891
output_heap: 7484b88f16e7ee9302bc1e4cee3eb59d4c84cd4c
input_heaps:
cce1fde58c2854731b4aaf54febb1fcb0069279e
d9560db8ba67199a6d700b6286ca3ea8de7b8982
8d04b3dd0237cb2b1525619bd5fa537a4c846054


