# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: c88c57eb21fec0ee02e80a4b1f221ce7203fcd76
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
5509d089efdc17b306de26412bb817203e83b99e


