# isabelle_session_info

session_name: HOL-Corec_Examples
sources: eef68e3f3e9a5995c50fa064d38da9b3824592ea
uuid: 0dd07594-b6d7-442a-bb36-cd4ba2496e76
input_heaps:
0eefffb769267ab447a6b9950a69419f37e1cc3b
72c31a354f92ae40cfe77d1c9a9d10b742549e13
80665f2658fe53539a5683772d98204946a709bc


