# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 2896c3109ccf932dc634865dff187fd788baf31b
input_heaps:
1c609249c248beb27845e050608bb1c731bea640
eed88ec53d7b43e3c68dcbe53660c1742a20e707
219db3d16d158c8a6eaa2a55b8371d35f70cb715


