# isabelle_session_info

session_name: HOL-Metis_Examples
sources: cc1f7fdc4f5912be0537470466933218e2fb247d
input_heaps:
20906430ec5c0933a7fdffa792e81b426e844298
9a78859f8ec1536e91dabffd5d8d7336fce93827
a4be5b73f229f71dd6a0db24b47a894124362cc0


