# isabelle_session_info

session_name: HOL-Nominal
sources: 32c4e6fde08b11fa0bf35ae428b4d6d087b18b7b
output_heap: b35ab07655362866f959947ca7fccefad0bc23a6
input_heaps:
542cb8bf72c64bf17ee67b940a85e2465d851528
06cb9253274f1cacab108d3a867c2a08aa7fe5fc
298f1d24894815e1615775e30865add7154b0054


