# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 1ca532bc78062b0d84b523132b5c45927812728b
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
1cc25a2f77a502b37db5c255058515ea4c533e8e


