# isabelle_session_info

session_name: Formula_Derivatives-Examples
sources: 855b70e3a6f23f297b7f14329e5bc24cf285c2ef
input_heaps:
19483222939fc489952fa9ff470a43a5bdddd767
6fb5181067c76ae090b98814e5ff8a3a2ed813cf
05722cafa430ad5d32034406e0ef9a6274c6ffc0
e04817830d2e746d4168b09c53671ea13eba0328


