# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 705f88718e86ffa412f9d137432dd0a30c9f9ac4
input_heaps:
f4e66065a04f1e2d2dfdb251791c7f25eacff512
b7343e71809abe96ec8715dc85d1d5193e283b23
854c154c5c9db77bcb2a7bd48a6aab6f5941031f


