# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 27061dc2b7004ce0692990f42a2efacc208870f0
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
fd88250889539183923d86819766c079155e3073


