# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: a275a3eedc9f5a7ec15c73a6d3c1bc9c04800475
input_heaps:
5ef6d50342693f7e095d0dd59d86225835695d9b
fa5fe27d0d291b70d86441110e409cd4047f2f2b
8c7d0d6b9ad1d57f5cfd9d6a0d168dcfa71fb1b1


