# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 5b383de0867bd97f0694cdd8e1b7b6cb19622f6b
input_heaps:
75eeb56444031f228c4d12fa7c975fe0361d3053
9215cff597615dae854ce40f096fba5b49e1e36f
78982694c6a1c2e798eca881b8177004a12a678f


