# isabelle_session_info

session_name: Dependent_SIFUM_Refinement
sources: 8cbb30520724ab39a7d4b11303b319f7eec51c07
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
10309e0ad38bf533a7a3dc9663feeb38379de090


