# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: c3b5ef5162560ff5a1c3f9991b79e0e3aee08229
input_heaps:
f42ef1fa33b2bcf7f41b6d59156a15f0915a3353
e231d8a0cba58c5d3b81b383eb6beb7946babf5c
904d5590cd661af94598a2a2baeb5b50de302190


