# isabelle_session_info

session_name: HOL-Metis_Examples
sources: c14bafa59cb68a84c668579b79e10ff63a735a5e
input_heaps:
949c598a2bd1e6db44f140e6fcae9e1de0a86ad6
107df69c9cf9c75c7702af58ee7b77c30164c5b9
a1febd8fff15d3313aa3a38fedb6fc4d7cc6c79a


