# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f8e2ead91a913f4ce9fbe6582b6cec53050e75fc
input_heaps:
825f157ccf104eaf68947b05559181bff314ebf0
eebbbcd2c7cfd818a2e0e43209fadb4a2d9bab0f
fd88250889539183923d86819766c079155e3073


