# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 768e5900a9e0ba28a14c1b81104771c7e7fe9495
uuid: 6b7a955d-bec7-421e-b447-d93b7687e4f7
input_heaps:
79322249ab134c8554bd4221788419e922866e99
2387fc3faef59fbd5e6cfc1d5a002f4fe962a0c3
136b97fcd0c3fc5c379cdaec1d5dbc45076944b5


