# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 5fb7b176989a58d5a3cebb142df4c96e20aefa85
input_heaps:
a3552ca70c14a200e457e2d73beea6524b2fc2a1
164d22ba20000019059cff6c55d56e309bc197cd
960ff11ca3f4685d99e0b8518ac9b964ef849b56


