# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f6adb7ae1264f96323a68de0ae8276ee4e8d04e5
uuid: 19b545d5-aa14-4875-b156-686c6f40c3ba
input_heaps:
ee1695b43a8fe77536cccfe86ad7014a312d9166
7a95e250afebdd7d8092dfd99109def1a56b2f6c
a71e2f09edbee60409337b839d416122dea3b915


