# isabelle_session_info

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

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
01bd0b059fc253a64630add6c76331b07c0b1888


