# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 9a1e3a8caca39eeda1f05da9366769217f2d0b71
uuid: e089cad7-5a0c-47be-bfa9-7c74d0eb8fe3
input_heaps:
7fa36be71927430279100a4a627b293498a11b23
b1b27881931da3e3fae70a1a4067440d5e6c57d8
717016bd28e5d6d1eb101fa3056af2bb21a22537


