# isabelle_session_info

session_name: HOL-Metis_Examples
sources: e5d6fffcc762d4859c71ab472085090d7e253afa
input_heaps:
8e91ce9e5c85c38eaca3d5b4d08d643be94fba49
c2699dcdd1b9bcf528d04419d33d44cab576004e
eff6045e7d3c0ca3942075b9a209705f9695ff37


