# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: be90367e612a65efcda8339fe8ec309ef5e00e01
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
27638859d3581338a14773da3f5cd45c4e2a6773
62d7d5f17c0c862b8ac934ce8e9a49e4a80d97be


