# isabelle_session_info

session_name: HOLCF-Nominal2
sources: 5ba4c3da4895f6f01f082237e829fdcaf978904d
output_heap: 7f022b575750235ce2acf45ab1590b76c500acb4
input_heaps:
82aded51c00298ad599083b7dda7d75351c69470
029cf83d973cf781edcb2672fdbbb9db492d7ecc
42dc7d56abdb4efed464b622ce5a2b37e0bc875e


