# isabelle_session_info

session_name: Pi_Calculus
sources: 05601f4e915f9504fc1d3dd74c16bcc0d92e9474
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
f25b7aa9bfcf042befc4f0b5d99c36328c0d769c
00d6e8e0bf19bd2f0ac529f1ce249cbec0683f1c


