# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 58c81889288490ae67fd7e62bbbb9d3c92ed3bcf
input_heaps:
b0eb6d493ef01916ef2418e3bb11c9efc956fdd3
d257fae31e53329cb529aae390c73d70f2360d07
511d012bbe1f011c9f4f65228783baa4a2c7bda7


