# isabelle_session_info

session_name: Ordinary_Differential_Equations
sources: d086bbab8db0e2d3ad32dbf031600cc2bb6bced6
output_heap: e0f20dbc2c8e7d5652a446abc4f8aa17ac577997
input_heaps:
c2093642ce0e52d658430117f07a6a10f135143e
958f81e74e154e8719a792f45217a865d1da1a47
ff933fee1bfbf84c07972e35bbb65890f0fa16d3


