# isabelle_session_info

session_name: HOL-Corec_Examples
sources: d50a49b5f4926e98b50588fb75205cc953b4a675
input_heaps:
f3782e60e56b1de215ee686052f461bb18c61005
ff5fe0825dd1d8f09ac6ba6d5da68bef29f41d33
cea65f62510c72c82894137cc6afc255458430a6


