# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: da5ebade602a33fc4a50e79718a424480abffc9a
output_heap: 6eb3801108d1d3c491105e4dde4fc002baadfdb0
input_heaps:
36562e7d7ef22324cec69c1c66e1bdd7ef81cf4c
6af7e1fb310f20123ed31ee9fc4502422cd6933f
f69ab0064f32b87057d73eefc60c89b5c8260371


