# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 41f29f58ba87afda8e193a56e75beb6aa10c8dda
uuid: 2de27efe-2b7c-40c0-934e-c023b64e8ca8
input_heaps:
6658f1360d03aaa6e9a44f29ba89e5d4511bfd5f
f5ab5fe06f6d5ebf55de4e984914a8d78a3ea819
31be90412f2adfe57820f70706028511e7ed30dc


