# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 61d8b8da36e7735da97f76cdeb480b300ae10c8b
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
28119f22b716be17c70b275664a2700dc37686b1


