# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 8c906e384bbbfeee5d1e55cca20c7b50773c50b0
uuid: 8f765bcd-dbca-43ec-853b-5b868232de0d
input_heaps:
99aa1dee31dfa0d453b64e417ce1ae8b896c3602
2d57dd9f95ebb02243d5cf26c23b4f5f995f70e2
338bc3c334e08f897fae0355c1fe3ae12b9a40d3


