# isabelle_session_info

session_name: HOL-Metis_Examples
sources: dd759a26b7c7d37062eef762927e589e6b66b045
input_heaps:
84d9a0f42954d11e84ba3493f60650a38e0e7836
a0aafef0823c04b9003c89434d1e323377dcf5f0
17fdd48954687d547359eeb9590e929394278bce


