# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources: 774803da8792a1dd650e9738cc65c4f88da90d93
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
c0bf7b6d5b1b478088a3e49438ef9e3f86d0ddd8
f2182b67f7a9500a5f326ced3dd0d81b4ba60fb9
857aafc8795564e021219831f1971602e1b3d7b8


