# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 3f26b5d540f12b5ad29ed1ce01a3886ae38300eb
input_heaps:
6e0b414cde7cbca05415ec6e5bf86c58afea3732
f9895dcd254f82aab3b7e4ca41b9f20af3db58f1
4659b00a0505eb1cb034f20f4d31603328ae909f


