# isabelle_session_info

session_name: HOL-Corec_Examples
sources: fc4201016f120f6b52c3de47c3175f519582815d
uuid: 9de989a9-2a87-4d40-82d9-8671f6503f59
input_heaps:
980033d053f0749333661519c4d298c6280be1b3
69ff0e8818b8f465f2585ea0f57a610ce777e1be
f38759d1fce3ae187eeffcb386dd6fb5dc5783a4


