# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 7be6b2ab660712ba62598c38f75687e5bdc6eac4
uuid: 73e2467e-c5d6-4437-9b02-37ff253a297a
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
0e35e761c765ebc4bd583aeca7032f08719dc8fe


