# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f6adb7ae1264f96323a68de0ae8276ee4e8d04e5
uuid: 93bc09e6-30d0-47e1-aba3-454cf30a2f98
input_heaps:
9b04407a9c9868cdf91440df38a950e6d09d9c8a
4002efa1f75a65fd71f748ba21623d892c47f0ab
258bafb318da8b8172037d1f1248f9ab6f5f01a8


