# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources: 84b01d25c5de588c3ad224d79bd326193ed4f603
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
e58c0b53d135d2468d83139943d3835239d94d2e
59bedaa090758dadb6cf61e44de79f384afda49e
a74f7609bfd67dbd153c851e2bb135000e159cbf
747e333270518ce60c15dc34844eeecc95a83f48
7d32483f07f0e7e7d1479132e823105ac6d60275
b41fb78150fe43958cdbd2809c268a02d1e7631e


