# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 42b1b399d4851265f7da83b8aa672cc43b0cee54
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
e2e6d97e76251ba7cb67f29dc71c33be4ecf78c6


