# isabelle_session_info

session_name: HOL-Corec_Examples
sources: c9fc9eb708a69a76c0f05e0eeb9eab1072bb3a87
uuid: 5041332c-64b0-4055-8534-a20be14b1564
input_heaps:
d3f897dbede5114e044d830121d9dc2b656057db
736e4fc5a7aca9f5f524c2f1dcf705553bd6aaed
dbabd8842d5bee8fc352d42812406e1a1d4c39cd


