# isabelle_session_info

session_name: HOLCF-Library
sources: 6b7d798e442406c1b9151530ed2a7a0f9357f964
output_heap: dd660a40daeb5dd121f8f02fe9bd24a191ac11f6
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
92d47a5de07bac7d6d18ffd03489cdc788d43de6


