# isabelle_session_info

session_name: HOLCF-Library
sources: d9328f2fb3a22ad4c929d15ac4ed9d6d46d2db4d
output_heap: a0357967b1398e3d3c8af3eb196ca3909454f089
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
c40411e15cda58f0aca26f5a7949660600917046


