# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f6adb7ae1264f96323a68de0ae8276ee4e8d04e5
uuid: 7053455d-ef26-4883-9775-887a55c518ba
input_heaps:
410762705afbcd782ce8dee8d2dd05d7dc4178b3
23f898d9e578305d6033b7e85db0c90d21f08baa
664498a91e20fd5c0b811316370a5baa6b5ad5b8


