# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4af24ba6963df17e650846260a2dcde9b8782d3b
input_heaps:
48ef87dd09ab8fc29a0988e0025104c249fa2e36
35bb85abbd94b011d8114c0880ef20a2961ecc7f
2dfb5262788728a96f0e81ce58f0dddb076d0e65


