# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources: e07865794fbc3fb891ab3fb1a56c30100bfc516f
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2f1df30b59f380b2c8c2f73b1e93b179f1f922db
2fb6f96690079541423d2ab4d8a63f87898ab3cd


