# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 4debc6d7e4c834b24d6620a2f01e756ac5f67613
uuid: 3af28151-720a-41a9-adfc-ea17c1e877cb
input_heaps:
ba4d32bd4787a90c8ed747450db046e743778809
00e4c29c03866e48b64ed0938508578e7f44b357
5306384618dcbe43ee573dd52706f4b9bef9df56


