# isabelle_session_info

session_name: HOL-Corec_Examples
sources: d3660b7506c13a7ede72a6633d2117cdd55cb04a
uuid: 4d5cc79a-6a4b-4d29-accf-d7ecaa53f59e
input_heaps:
36485b6181fa7dd2234febf349f141456f576e41
2938869a4687eaba215c72dd9230cf340caa7c0e
e0b2413c63513a61c1fc2619cb5656a0d51040f9


