# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 756c3547b8e5d67c1f246f308494925a27cb8363
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
723a76336d72725f5852e53d6d3feca9f99935d3


