# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 7ca212ef7821145f714d338b0502ed61b3cd0213
input_heaps:
fe1ca847b6e56efd0c060c7dce965855c93258d8
153d078e60d5674c65d75db5c4e89644349a1dbe
03179217553a698b2562748ed471fc7a29ef24c5


