# isabelle_session_info

session_name: Psi_Calculi
sources: 2e350efd474e4e0227d54acd90d5f0603458ae5c
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
85abb972e33d791a56eb0ae4d28a032db01c9061
91f8a0d65ede83da123cb7ea912f72c93842b4b7


