# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 197c6f3492ed1eb5e6da29f0066f6f04e4f5a35a
uuid: 1b466911-8a57-498c-b4c7-b77ac24d9009
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
7b7d3beb569ccf98e2ad20a11585a610eb4c0c4f


