# isabelle_session_info

session_name: HOL-Corec_Examples
sources: d59867b24d36c5ad5e45378ca6f9d3dc02de3d0c
input_heaps:
84d9a0f42954d11e84ba3493f60650a38e0e7836
a0aafef0823c04b9003c89434d1e323377dcf5f0
17fdd48954687d547359eeb9590e929394278bce


