# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 909fe2986decf1d0f26c5e09ee7caf4df5ff2b18
input_heaps:
d0d515547908f19c831c4a5ad20fc841e2d4f6a0
8c414b7ae99e8d72334ec5c4a4f3b914543dc534
bd9b926792a275fdfc7f498ba6615b436575350b


