# isabelle_session_info

session_name: HOLCF-Library
sources: d6246c755137ca25863320f5b405a4b68f336651
output_heap: 0ffe1dc62d8ea76b391aabf7192966c5dab348f9
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
e2a7e9445a9f21e145c2eff14cfba9ef1b86c1e2


