# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 5a4c76d959ed3f4566e7bf8ac0d25783b7e1cc2c
uuid: fabdf86c-d7d5-43f4-b63c-d5726d3c9274
input_heaps:
728364c96560a7a14ddc2e9263f9042c3dd467e5
f9339c00e61865f047b4085392acb528fb8b6ea7
abf90c6dc349ece67980805c7eded22c1798a41b


