# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources: 9f9e5cb0c37007b4bdd0174b5f4e8218a08aaed4
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
e9a726f68e510e4c40abbc4df758ad3bf1ccb60c
55c87a9b67f3716f2c3fb74cf3c385a5a1bdfa80
cee1ab715e6b35302be910aac6d6bed579d98c29


