# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 2f098397b81ee708b27c996c9b4fe2daf07da48e
uuid: e15028c9-25ec-4ef3-b011-20b308966d35
input_heaps:
b6ac33a175addfe695edbae18cd2583281bee6b6
d54b2acc9dae828b9e04868d1aaac6710f70e08b
82162a8631e7af18f84939893d8bd4408c8a1cc0


