# isabelle_session_info

session_name: HOL-Nominal
sources: 72c44202d7cdf80d00ed4a1432cb04b82cb22ab6
output_heap: 1f0702cbff1aeb2037c309b9aca45e2573ca2e1a
input_heaps:
13a4ee91aa67465b8841fa4bd2c33bc4d91f32eb
e27bfecc3175c5bea938916291a381f36c7f2a5b
e7e13db9495f7d2da4f10d4228403992147202c3


