# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 8c906e384bbbfeee5d1e55cca20c7b50773c50b0
uuid: be93e706-7708-441d-8807-207641d854ac
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093


