# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 53bb7cb12f752180e4d73da495cb7f37b31a1e38
input_heaps:
f056539175cfb01f3adb237e294cb6ec530013ac
5a3c236d3b3feb8e0a9ad2c8ad85346f3168f94c
646aebe0ea2a7e562dd5c42cee6144c67cc48b50


