# isabelle_session_info

session_name: HOL-Corec_Examples
sources: cd81e5f6834dc8fe894ad9ab5ea9cea42f75ca79
input_heaps:
25b0ff30768df4fab02e9aff76d0f45f128d63ca
6013e9b2873d320614122d686e65ea49474d2dc4
c209c1421d0dc42df1c80758ad0da4342656b3aa


