# isabelle_session_info

session_name: HOL-Metis_Examples
sources: d7d5f78bcb3f3c19065ec35a2e4896162ce4e3f6
input_heaps:
00257e3a0e8c31ed9cd42bba4b978a107ebfb35c
d5d0f42e084b29f8cdaff74be02785beacd11284
a0cb338802027d70e0132eb83b2630775e8a969b


