# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 301aa50d4c7678ea7fea37dc93c4dea1842acdc7
input_heaps:
5adbe048162ba6286850b02082ddf88083c0b4e5
3da023d1ea27c13a4bdc6e607859bcb230c86ecf
6f4460675270752c80c6d2cfd841a7dc84fde40c


