# isabelle_session_info

session_name: HOL-Metis_Examples
sources: d1a67795c5a1741bd0599fa8ea9d3bce67022d65
input_heaps:
4dd43a72c508768fac50cdef9695e95242e7fb38
312ccfaf33cb10192929cf5a1eb5ffba69430935
3320c015b4f519af7407bed7ce2713b72d3dc691


