# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4712f7b8f46d513883c2dbe732bba90e22275e73
input_heaps:
10764ddc346d5177be378b761316527db367ec3e
a0b11f9c133aa49ac228f451be8e515f846bafaf
4da24bdea1ed8db5820c4f29605d314f12cdfffe


