# isabelle_session_info

session_name: Pi_Calculus
sources: 66371fa13e91216a179ec75d63c526421c0ffb3e
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
bb942e3de3a6ee0c81dc1f934c33e4250aa33115
b5a1c66a1613793b5270ec7b2ce02757be7ce904


