# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 8b831f73829b3e904ee9c1b0f7250f6ce41fb5b3
input_heaps:
2e6928e36c7e4240e9657a660a95e55cbfe06e26
19f89c7230ec5e746f283c7664c0cde776169611
64489205dc97c22cafa8e486edc058e564e0d5ec


