# isabelle_session_info

session_name: HOL-Nominal
sources: e336c1d5f0d617ba2ee6b08b1401bcf2ac4ced97
output_heap: a2d2e3e1e991897faa0a59885f83633937c1de66
input_heaps:
a4c5d301a507f7945f83c5170a983e051beeb81d
4a642d629266e43cd6125d2662e20da56947e7e5
d2eea66bd9ed9e05714cf432661d2ba141bbe0dc


