# isabelle_session_info

session_name: Psi_Calculi
sources: 7c949dc0a12f4a9d6a3ac498d41dd686e1bb14f3
input_heaps:
a86c2421cb3bf965bb7b88ea7ffb63ae19b7c19b
246f6e81708adcf47b424e236c7a30d027d9b852
5bb8c4dbbd21942ee66e9ae8e3e4ed5a20033039
9e42abd05ab198bd8686d704951fd8cb0d6c2b4a


