# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 44df8f51d4eff9b436c04b8d8ea2c666ee92d534
input_heaps:
c3d726d89c950dda47a94cd6c59e05975f526e9c
4182a48763908451de8961309829ff336f2a9af6
fd72c0b7d088f9750fe57479031299754e37c43c


