# isabelle_session_info

session_name: HOLCF-Tutorial
sources: 646ff64558220a4c11a2331d3b7410f6a959c32d
input_heaps:
3e7cae349853bb3f654071d127673716b1e97131
e76faa548233303457fe1f8acd3f956c35127c42
d27a9bd39f9a33803ac413249ea34dbe1a5d9ad1


