# isabelle_session_info

session_name: HOLCF-FOCUS
sources: f57502ef6b56d7d96f2db0a75d5ce017c555d885
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
d27a9bd39f9a33803ac413249ea34dbe1a5d9ad1
dc832b3fbb034833fe62f1c1a64ff38384475d45


