# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 9de8e220adb1c6e6107489f992ba565d7a0f6052
input_heaps:
55985286d4b602ca5aea2674b7213139011fefc0
a7c04ff07535d0dc83cb9a37cfdf185725166ce5
442aeb0c854704a61deafabd63160eb1fa0ad70b


