# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources:
1fbd3f11fed39625c53fad2999801a7da4fe7ea8
2d09e751d662ce942c8ec4193c1309f1e0b0c135
52a178931698542c4f54d85ce31a1373cc3bcaf8
614a5ca8b0693dfbaee53ba09d7b5e64e14cea22
708aa4202dc9697f712624cc15e16c408f5bd371
77d3deee2df3bbbc7d0a1244a46e2fbc523f1d98
86aaf41c9f12d40d87f14c22a58bbd2af974bd1d
8e716b093646297608945853aee62afa5a85e8e7
90ae6a7bea36147732cf564ebadc5aa0d9c0772d
9a12645a92d15887a3ba0220adda9282133b4df8
9ac6463e8c553fd6b161b9d478ebdeaed928b061
a423a0315fda0c9c81db855a1c9cebadca0a953a
a7627a6abbaa70a0ca44ae2a59dddc87c9c13c21
b16262f283bff67e6a8e0cd6c0b53b6a6f26f1fe
b7e9a1b28ac0c3da4934584bc62b0c3025d64386
c040181e6f975c3f5e4994e2b8102dfd61a1607a
ca8f839dc6aa57895834eb4dd55fd87174ada3bf
db95eae5160b60d19115d0c766758ec364c0fd30
ed48a78f49175882fdb91571224d9ef9739f3b6f

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
c43a68050ffee06faec10563bb7ffc2d737fd7f0
7ce0db48f01026ebe144dff7adcf4aa7d9776819
69af91585c4471db561cbe8906027140b2a57cdc
0cd912fc958df141569af73af7436fe05b89db12


