# isabelle_session_info

session_name: HOL-Metis_Examples
sources: e05b81aaf7ebea59445b65deb2e5fda9d3f2ca6f
uuid: 4af85863-463b-4f05-b936-bfbb380fa733
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b


