# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 2896c3109ccf932dc634865dff187fd788baf31b
input_heaps:
cead58f0f5c893a12346780df714e1f57823b19e
90bd56af5e6ea1e6f994e2daf287a02cda7925d3
8eebeb7ec86ee02bfcda5d7c30c581973ebb35b5


