# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 02a63c317e75e056aba9bedb6e0dc5753f8b78b1
uuid: 0a280a9f-e0d1-4cdf-b042-bb9c508a7a6a
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a


