# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 2d84bef009476b64c8eae3928978c11389688c15
uuid: 5a3865c8-8d1f-43a0-9491-1406b7dfa2e5
input_heaps:
16995642ff9d6d081fe3569bf6578b599bfc50b5
e2f00078e9a5e8bef38f416fe533f4c0bd843120
6d5104ef027c2cb96597dd4d7f68c04f0ec298cd


