# isabelle_session_info

session_name: Modal_Logics_for_NTS
sources: 54f740d239dacdc10cd1d00a91b8355b809c3728
input_heaps:
1e0d760b8dcc7a202ccf9e071ca177b2d6e00047
82ffab2c85e2c69d04d032ee5f468652fc7921e8
f5ad53a1e4b64eeb3eeca1dbac9ceecf790295c2


