# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 053112f56074d6a77c61100c28899aad7bb7bd15
input_heaps:
0779f416e0333e930b31960d36caa48e35918b68
b6896307526a9838816e0ef6f162a79ce98e509f
94aea37bf95af3b02ace4c0058378527d8818299


