# isabelle_session_info

session_name: HOL-Metis_Examples
sources: d8297d5ea09cbc913d80db895f6d0fed8db873d1
input_heaps:
ce9a0452154ce00da0ffbb73f7e0d0328ddcdc0b
cec461783528534b845ec3a0684d4a9324f7a9d1
44110f72e44ec660050b4c6b406a9213de5c96a0


