# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 047deb795934f6c6b1d8f1371e5d7ebef9749270
input_heaps:
221bf55cdbeeb204abe001803bef147f0ffeb54c
2d0043d5245b774b6a52bc09a6afbc782402b041
223476067afe6566801165b07929b4c3deeacf6b


