# isabelle_session_info

session_name: HOL-Metis_Examples
sources: e40876fda1358629becc15ae1452724e1954bc65
uuid: 0eb3756c-6b94-4bbb-ba61-478ebe9706ac
input_heaps:
df967e564b1dd685738ef86cd0afa6dc9321f892
c292a17d3779c1055ca2caeaa6ff13ebb8e1ea96
2779319898a8d1e1b25bf653450b50be2b524a7e


