# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 684fd7a75ca7062af20f19b4fe4c0d14b57a8f9e
input_heaps:
a429cf6bd5a58ac47c7763de2b4ef57e3ddfd2ef
079e9fd5cfdf5f97afbb4f697151ea8bae9eac63
022cd58040fcf62c14c87ee2eb26ded1173ca304


