# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 59bd31d70b7d5f6f9b22dc6d343f8c137a2a96bb
input_heaps:
35a6500ee753652c800a7917e32731ca9b81ba08
09b9a8ab7b35d71c17424618f69192731fdaeeca
bb2ab2c84d1d2f65bb91d59f6926da63d01415f3


