# isabelle_session_info

session_name: Psi_Calculi
sources: 73ebd0318b359bc6b22a850643c745c7cadb44c0
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
93b0c6be92c17ee3ba91215a3b4dd812bd6fe966


