# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 2cb72e7f7aa1641a9676fd37c1bb98c0f3856a7a
input_heaps:
5610ccee8d50c8faa0a1915bbb604219e8b432ad
13a2690af0797a50544cd9caf6a410f62a2c356a
3b6f6efca776ce23b43e0874ad5586b5dc176fe5


