# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 89bf7f3b51727be40a9363434fb126b0680a6fdb
uuid: 8f381c7a-9ac0-4d40-8a35-954c3aec534e
input_heaps:
f57eb8ed536f0e70cc3f24060ba296c4b68ba268
806371498c4294b06fd3427f88733a19f266392e
629b4334d6e19a2024f15c3501423225e1f0381c


