# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: 7cfdb8c935aef81aa9a3d06450181f02489fb377
output_heap: 761f2c2f7e038cc53faab6d48381e3c4e2f863ab
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
f1715b405e31ccabbdc6fec58464e458364e7dc6
81bf6d9ee28ed1525cff1dc4475a90c408937ec0


