# isabelle_session_info

session_name: HOL-Nominal
sources: fa0f49ca0b959bdb97932f7da2bf5d3df3c2411d
output_heap: 6b4a9bddd914189ffe8f62579b25d4ff38eb3df6
input_heaps:
bdf52547a2d1ec5238d42ba24f34b6bd872981ed
01b1e75e676722d36b9f9cab162375221e47186f
c128e8d6815c9d720565eaaf5a73133942d71ee7


