# isabelle_session_info

session_name: Psi_Calculi
sources: aff3caae73b9ea2c0b0dd8a1a9c7acf01f4dd24a
input_heaps:
adf620958a483c5d99eb8b585d74e10e62aa36e9
592c3e8fc1a619dd78c917b8e580c01545553e05
7f7a591899a16f1d5cfcf0a06257c984af4b4605
c4e91b748574b6ca5d2346ce79ce0e0353cd17b2


