# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 15a41bb0b70a93ba90c75546fd8204846ba48ab1
uuid: f076c44e-36f8-466d-849e-5c2e086528ed
input_heaps:
2d4d42bbaa4aa9e2d6be0125d66cf1542ba8f42d
8949abede8d02268862b8a391758b7bc0543b206
44ecb598abe16cbf2327b95701c3f556edf31940


