# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 6d73814d2a4da31bc722b6cc1d1a1633a21e77b7
uuid: 864ca1e7-ba3a-4bef-ab1b-76b96455177f
input_heaps:
ce295757e9128ce20e665c4f4ba08c3bdfeff815
3b15bfeb74cd601d1e7f504e7a4b04f02809051d
1262cc5026584a10c127e9b3af4f4ef395f988dc


