# isabelle_session_info

session_name: HOLCF-Library
sources: 6500b4a222709fb16b68d2619f606a7236f3db46
output_heap: 4efeff644894a143fa5af1c7c454cb8623197b52
input_heaps:
5f6b46d75794d7d779141526bb8c5d38bc06bffe
14fad242a862a8a0327553b16251c149a42b3da2
96339ad3e448408f44f70a6cb27078e7237b9ce8


