# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 229919e4b01fd6142b3953888dd36d1b3eb6a62f
input_heaps:
d3f289e5195aaefd6aafc967100d776a58ce0b4f
29fed47a579a81d17666737d5ee8d107ce867490
f62a64ff1ddba877a4fe29e73fd9ae3e64176d09


