# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 93c4d2a7f8f65e6c1a71ba1df9096c6ba07f6bb8
uuid: d518652a-1aef-4bc0-9961-6e85a3cb7f4e
input_heaps:
57c0f5e026d063dde70715052c371cec902bf3d9
4dad8d5a2ce1d7720f00f928eedc0ec02a1f93e5
afdd3bdaf0a6c6750aa59f473cc890c460f5d8da


