# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 00db393529338cfa66c6bf2e59a1b8b757769867
uuid: 7d1f54f6-66e2-4dc9-a93d-633b23d28e4b
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
afdd3bdaf0a6c6750aa59f473cc890c460f5d8da


