# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources: 1e9f162ce944e4ac2aa46ed402975deac86c6a56
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
ffd3c2f455ccf76046f1a522696b8fe123ec936e
a6afcc2426fd6b701d456a4f4e00addedffa6cfb
6ab776a7c3ec53e03dd45385cc7c01e636671924


