# isabelle_session_info

session_name: HOL-Metis_Examples
sources: ea2ed1b544a756a86c18d0fe0ec0ca56d8b1f66b
input_heaps:
3eb74d6a5359503e0055a59b42ece26aa296f5b9
dd999f1a178b1375fe14ff16880213d79d49a3b7
b0eed1d613750dd1d24699ede492a69a0394d7fd


