# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 8bafc171706f916df8db1c2a8e2bf49f2a15d989
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
e79fda683ab54aaad4eaa9dc928815e3ac0953ae


