# isabelle_session_info

session_name: Pi_Calculus
sources: bd5051eb036fb13edf7cc8b0f703f8fc96184c8d
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
b289b2d35e21bab3230d78ec88be7bd1d162c47f
13ca33b07ec337fd3c5e98134f977ce2d9a0dd63


