# isabelle_session_info

session_name: HOL-Metis_Examples
sources: cae5cffadf7035b7a67da1c1b6a1fae285cca90e
input_heaps:
2104cafe5564fc5ce1949d8ef83c9104aee941d6
25c5d5ab322b23b0109a81b359ddcb0da3ef156a
845701604007dacd070542bc079ddf6409c3aa23


