# isabelle_session_info

session_name: HOL-Corec_Examples
sources: eb5d86c125df5164ed7465db1a15d3dc52de7087
uuid: 10d66fdd-ff27-4049-8701-ca0bc41d5033
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3


