# isabelle_session_info

session_name: HOL-Nominal
sources: ceb9c35491bbb67d6fd4ca7c25b10a3af85419b4
output_heap: 370039dc96c07febe248d2076010f1578594576a
input_heaps:
b9edeba120fb42027fe4e7015d7e67e5df110a4f
9f89800180bdcfe5023b0268a9e9c3926bda19cc
99bbe8f4bf76e64fb9a157c64290ad71dc34be73


