# isabelle_session_info

session_name: HOLCF-IMP
sources:
07a6a39f22715d36c6c7d78e19847c1c19b45164
1219141cb7a32230a95ce4f1c699106d4ffeaf1c
332124682321656e702ebd7a5d933f675dfc2c80
362735a0d495514b620b5fb81ced4c6f3a08c7f4
9bb64d25a454e76f91ab3470612aabb28b261038
b2f395bf46e105375ccf95127bed02a66037e2aa
b6122e77952924b9e0da37b7aa08cd7320e1a3f6
e041c843d120825e77104e8742c34aef50abb143

input_heaps:
7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
67de1e4faa6c594cac8f83698b542c3bbb933a16
938d638758d7574cadc87f2c58296f82c16554f9


