# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 260ce16d3be8ad6efc2c73c1ef290e8d875655e9
input_heaps:
620eadff725bc3b05da1385b39718d4bda69cb83
d38c17f13a61f3f3f61d0943e214e1b4c397de15
6ca0accfec8c64bf4bd7bc6f2842d3cef01a1b0f


