# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources: d9a9253bfad938cc64508e23c4386937adfcbf74
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
223999b3718fa9c4a49cbc7261f4cb6ae6361149
95571051a91d79935bedc908ebfe424fe79d3b62
db9e6ec0b6883b08ffae76931d55ef844e5134aa


