# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: 91a6ea4b24f51414a8815c709e0a89391dea2ba7
output_heap: 6b5692df710ef7b552039fc70b236112050b80de
input_heaps:
9ca5f92a14099d9d0578aa86393b807a3c2738ce
5d409056603c26099742d14e8f0a43cb37242805
0d958163c01ae27342331533ade53b2cd2488299


