# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 4621b5226e3d009f3a5ad7207beee5ad4b147512
input_heaps:
91ab3b96b909506c75d6bb6e043eafe54e57f085
ff7eb6c64e4a46301790321fbd0b81563e69554d
df2e90a2bece19806d62ce7997bcf7dc0af666e6


