# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 9a4e74f64dbe2ef6949deea1d8cb3a3cc4071d95
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
25b9df82f9955898de3fa6be4e7432b8649fbd60


