# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 19ec0b42a7af962c6a3786b7898f2eb4d5355ab2
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
bdbab07390c19e982153a2fb2f09ad77a48d4cd0


