# isabelle_session_info

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

input_heaps:
3269756b47a6a9653987fc2e45e2efe5ac3c9347
235bf9bd90cd9323492bca5d081941b77446f18b
8e257241ac01f8b9869c189815968e93197fa288


