# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 9cef0dd6c0124b7caae66bd3fe801bc509901f00
uuid: 25e86fc0-5537-410f-8bae-5f4f79a9d7e6
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
dbbf5715d35bbca7f0c5d9d5ebe805cdf29e79fc


