# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
ca57ef1b446e14ab305bac96ebb43b476d3520da
fb1813d2a93164e220d76a7f584d15ae661b1c62
5f6583c2c32c714f12d333504c279338fee25e55
147ebbfc6476d1e9c769d43cebb449c8cdada588
a13484567c0fd3c685d61217e82a0d19245f96ee


