# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: eddfa08165ee3c10401987a082c7cc0006b9173b
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
db0e3772279c52789caae22d8917284a6ffec755


