# isabelle_session_info

session_name: Differential_Dynamic_Logic
sources: f32a7c83c9d51253a3016d7a217d721def736d8e
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
084dd84dd5b6b00e22e43a181a74fc2ea6a92b25
87ad4c9e8e5a57955212afc42302899a5b3ffb38


