# isabelle_session_info

session_name: HOL-Corec_Examples
sources: 1d93b0d52d1258ec1562c93f05d4e4a95cc3f4fd
uuid: 4ebc74c3-58cb-4dfe-84e3-4f7b8d529722
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940


