# isabelle_session_info

session_name: HOL-IMP
sources: a0e06bf063d3aa417f9a4e070019ad76ca9d4898
uuid: 7b64d60c-b11c-4501-84ed-59d3b3380ab6
input_heaps:
8ad5a9031d6debdb25f6a2d28327df038ef77817
042a873bc4c2d063090ad7ae9e8eaa3e07053193
6daf18f4855a1124051cbde926c9686f5570e093


