# isabelle_session_info

session_name: HOL-Corec_Examples
sources: a76bacca86fb62ac662ff08db134a35593acb711
uuid: d66a16f4-6701-420f-8dcf-e40297b4f027
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f


