# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources: 6f95bc75e4986bd50c9ad7507db99767120ab5e8
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213
b2c9514cd00e095c0dfa2d1c8154be3326a6df1e


