# isabelle_session_info

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

input_heaps:
8c5c3c02f05e35fe442f7fe3aff9bd93f43f72f3
d9e883ae99affe5ac273ba1c889b8ce1dc4817ed
645174f4cff6174b9ce6ceffc99373d5441e2d5a


