# 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:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
86e95bb3182356f659f9dccb3c8075066387911f
5842da3ea6794ba7e88286b96e4ae8604307ea14
81eae5ce0e15d3eb173570caa132733d1a311645


