# isabelle_session_info

session_name: HOL-Metis_Examples
sources: cf178d3baea3b5120b89c07c48b0b05b3e73bb3c
input_heaps:
965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978
09960ff509b80e2828bc02044118a5145e571ed1
5573373c939a0f775f3484d5c04f9da9fd68deae


