# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 3dc456e00a43e49a34674441d9c909575a19a5e7
input_heaps:
fa95ed0464f30ce78a23f18378a450505aac44e2
33766297751265f96298d96dfa2ce2f96fd564b0
e3b4e0b699f05ce3febc45161dbf3eff25d7bd15


