# isabelle_session_info

session_name: HOL-Metis_Examples
sources: fb03f837b73edd0f35a3a21b01d9486e2c226c29
input_heaps:
914dda7ac964f6cd4c94ac1e03587f374a33774d
94d5353df6e6ded67eb48c352ed39e590f1ff8b8
ba626b947fcf327636cf6826599aa89723afa38e


