# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 58cb32e3a73cdab9316574e29734dc5ad247b9ef
input_heaps:
a3a1775be1ea4baf5315ad6630d6c2542be8f5bb
f26beeb3a1bfbe3c017ec6ebba6c47c11fc1158e
dcff00b16fcef29b2fe6beab1764793c202762b5


