# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 98f8e0a00d26fe5f3c892dbc92446b0454c0190d
input_heaps:
1d3b7742f85f25c1c85e860702329bfabe408a8c
01689be8ff96647a44561310e2e9cd85b0703641
cbe3eb1ccf50b584575b7f6936f222e4060eb6a9


