# isabelle_session_info

session_name: HOL-Nominal
sources: 0ae2d1b4e76cf6f4e7172e598cd35b10de754b31
output_heap: d21f723b214e49f81255b9f3774ad5d0e839d8c3
input_heaps:
a1ab0b5963a050516afd0da6290c5af30d29094c
8d50800a87c7552ca35d4acbf7891b84dbeedad1
e337f16da0d03647151f69fe1667927ec26a965c


