# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 98f584bd2683b125ebe6075cc6bdefc81737e0d0
input_heaps:
b35290ea035879260bf74094b8cdee6413c2aeaf
908a19d8d489b3872b4fc9a51102282f55c5ec76
0417b9508db251231117c88fc74c8b08bb089fe5


