# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: 59cf3f5bb3d3bc1bc0b1ac2a06135c0fb49630fa
output_heap: 90bdc66605fe945fdeeed5cc4569b91f6e48d007
input_heaps:
0a2434114e0f5ff2a700b4a6f5d894a41f7c1240
6e1fca943c4c583766dbdc0dfc914d2481cb449c
362bcb4c52fd53d399ef9d2a29a45dd20027970d


