# 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:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
a52cca36c501e454ac8d14ffec7d171d1797787a
1d78b900664117bc27648b4f3031230e0f9a4d44
ea83c70ef4941c2f156c1bea9a84e4a0007d4e18
e1c8a4c2bd1e13320af712a0baf4d2729333bf0e


