# isabelle_session_info

session_name: HOL-Metis_Examples
sources: c353900b8489db451effcc1a8591bd71be727e4d
input_heaps:
eddcfa062a672f0dad34c5be0cd823fee08f5bb1
6803283bac8240f6b1c8d22324fa1bb842ee176c
521298a7f472fd1887b13cd77adf687f3f4f5b78


