# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 6b2a09c63bec0fb39eed4579915633c82d083e10
input_heaps:
1ff54ca3c0b35679bcb668ab161c4d90ed31f0a9
27a80fdf367af8eac6281dc27ec1d7c6dc00010d
3813e724c94542385001c5c6059f42e7d9acb899


