# isabelle_session_info

session_name: HOL-Metis_Examples
sources: bad251d39eca1fa6ba472955b5c25d9b5a1099c3
uuid: 172b2a86-8e8a-4890-9cef-1dbf3d7afd2a
input_heaps:
2e4658671229f9274cfe02e0d36cff0126e3a110
b07d47266a283eadfc0a5330e0f2b1f156abc81c
7b7d3beb569ccf98e2ad20a11585a610eb4c0c4f


