# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 62b241f75dd476c048e5ca2f36dea1fa04ec4e08
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
7600873a42c7cdad9d9027c2b26260e40620878c


