# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 68c5d932c19ac9012e20ef8930048cae85433f60
input_heaps:
76b019a50eeda51c4b74870607c55fbf00aca327
877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f
0875a83e2721465de4f8dd06ccf6d03557870423


