# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources:
12278daca394bf5e61b0cac6598ffa842101607f
21521c5f07d6e97015db381a47c164c5eb8fdf8d
4da2b45e33aa578b8844a9e2f0753ae498b5dc63
51e311040d3c36bc1d8d01477b680e67e744a1f8
568f2897e640ee54e4832d7b970d3ac95b621a0b
5832600f3ee1ebe36f70916c33ae7119826c4d7c
6c3b21fcafa0826fdc1dd0fe7f1a0cce1196570b
86aaf41c9f12d40d87f14c22a58bbd2af974bd1d
8e716b093646297608945853aee62afa5a85e8e7
b4b53684577e2be0397dde3c0df6f3c52b9041d4
b7e9a1b28ac0c3da4934584bc62b0c3025d64386
bcf4952023b655a8d8a582cebaf323ff61a8192a
c040181e6f975c3f5e4994e2b8102dfd61a1607a
c210bba1cf4cca99350ccfb1bd5c63ac03e8f846
d382ae6747f9f62328b4c56bb0179164d3b3c200
d4f85a3a97e8f9e91ce1c08854869434d33f04f7
e3f1ea316be3484354288f4b77a29ad0b211e3c6
e99dbaf2afbad0793a384a1c67dd078ce1c68a23
ed48a78f49175882fdb91571224d9ef9739f3b6f

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
7a682a676d8a84f583e52b3d25f7f4b30d4e186a
b534d5c3f385fa73291b40a2d8a49939cf8151fd
a5ed6ba45a01a64a994a7de3b020bafaf3134704


