# isabelle_session_info

session_name: Psi_Calculi
sources: b4c36abcdbf183ed211dec81e613bf867d47d61c
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617
8ce993a1537adae6a206ae23994fccf59e0e0443


