# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 1e6ec41807847f65e5c7deb29aa4b9b26a7365a1
uuid: 56168ce7-0922-4412-9f7f-3f2410b3d8a6
input_heaps:
55d97443c4a73a7f2f2ba7aab617db94bb5554f9
36d19a458526829aa8e7a165ce3ae192c1c58aee
38fb11bc5871ccdebc35f672f43b799896d5f760


