# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: eef7ffb9d1da076aba1f5b6698f32f34efb3c3d9
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
0cf10e45680ae439599dd1e4a9dcfc11cbb36022
5b05140f0d5e80563323c1ea1f12ac38136faca0


