# isabelle_session_info

session_name: HOL-Nominal
sources: f45a043b5d921fb5546a8753ca351e0b85af88b0
output_heap: b24fae82de780b928d866243a2b885879f2ed550
input_heaps:
1557763c55026864eeb1fbf92ab3ec60267ee348
5cf7dad23d1e903fd6eeee54e5217926f169a0e4
f620dc0ce12f02b1142af6085f055d1ee0747678


