# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 3699bd0ef31ab2f9dd2b8e481faa4d8743ea0424
input_heaps:
58d0f01554815b2ca2b0ce1eceea445cfa26d876
c68ce415310124a77b51aaffc37a88173faa34e4
6b157661e787cea622e8b4f7b3304a48a2eb04dc


