# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 756c3547b8e5d67c1f246f308494925a27cb8363
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
27625c6a71bbe28fc0d93a17cd760af834a4e6e7
7b88734ed9c4ddcfca730978e9435d6fa68eb7ef


