# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources: 9c6e0f163417fab104783c4f1d23dab25a0c8d2f
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
370a1ca156b8f5d1d63c7df8a93112ce25b095a8


