# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: d586ecb4645853efad0372b2ee4116be9d95c33e
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
f6ffa714dac548bd1fa745e8527624877a3ec1f3
175e8fe1218f57f9c4f3e43d71d25f5c76fefe9c


