# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 7b409be1f8f6a9f1985d91feb3706493be144d1b
input_heaps:
e70ee0fd938a0febc474d8a614487240593c9abf
62b865a30afb162effeec3b132b2275d92775ddc
dd2f4ee23523255e740b6e01f6ca29f22e76a9a1


