# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 294fa0e8e175427f2ead7122d338d4d91202582c
input_heaps:
17c25933c8a796b55f879d9c40846151021157f8
aa8285a4d18518a93d994f653c38d76ef76976b0
e6c7413cbd6343b824e3f145f1634385d35371e1


