# isabelle_session_info

session_name: HOL-Metis_Examples
sources: e8f573a2f1d50e29ef24a0875eadbd380c2504e5
uuid: c1c7b068-72a4-4577-a57d-dc0d142647b3
input_heaps:
f2c04b3a245c566a66a6acf19889f982d671348e
6a67644276429010a483254405a7feeda90e288f
fd453820fe958d1fee7dc97e4ad62f07a2b9f581


