# isabelle_session_info

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

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
344aa01d9faa7875a66779417da64d59809f65b5


