# isabelle_session_info

session_name: HOL-Nominal
sources: 184b30ca58575abd7caa91879fe8366f03bb632c
output_heap: 662363df30fd755f9f05a50683a50c7c1d7b64ec
input_heaps:
670512538733605cb63d45e26f52dda04b891aaf
d1cbb794f03f6e7c97845b63a50e90ed33c8e18c
f28bad5c171ebb58807c934a7cf754cfb74b4890


