# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 52430bbd057fd93d650f0008bb28cb420c0e8f04
input_heaps:
2722ec1bc2993f9863f5084b9ee07bd97dd3d36c
3f001195d7415da4b8cf06d884af4e156b801fea
6d5a9ff1286134fa981f6a21e192360d3bf1fe71


