# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 7bd57771655a0ab55338d2a570cb2933f3e42b0f
input_heaps:
251e84464f07fc24b34045ea856283ea3577dc88
df9db6ac00dfa405c9354e6fef96c332e793f1b3
1c6cc020ae08c3814ae7db5cbabd7b1d1367ce9f


