# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 2afbba4c452fae7f628ff1bc41a22d42b55386fc
uuid: fdc636fc-e3ca-404f-b8cb-df71cbc912cd
input_heaps:
4348ecd95d08b83381d65d778dc99414fdfeb2c2
a77f4df9e49ab5de749eea6768f2c7722537ebe4
9309a27732761fe284cdbbd5c45863a9dfc6c5c6


