# isabelle_session_info

session_name: Pi_Calculus
sources: 7d5112564d0211f32bdb7b5c42c6eab14185c4ba
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
cb4a3e96e57f637fc9d6797d16765ef69fa67d1b


