# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 7f52a97cf86ff5eeee8c72a4052f52b4ce943c0b
input_heaps:
285655d045e087d3fc223c9ecbdbb4c9e4e2c9e1
f8795892ffcd9f173421a69fc382440ab856ed73
823cbbf9d3961086ab7ecee516c35c51de014fa2


