# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4b355f23d767a6f634db6a56bbde6ea3b73ad080
uuid: 6ace0bf1-f77a-4b17-9cdf-66bdccd96cb6
input_heaps:
ea3ccdeb1f4480eff1d2d9d8612d8489cd4649db
026635fcf622a0baee3b1ebb1be23d47218acb87
ea55cc6d20ed0b560f63ab5dace339389b200e4d


