# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 11e38b2c0bfae976250c8eac625c17adfcf72a9f
input_heaps:
c081b7c87e33948fdadd9c3bd5597db60c0da0f6
bd68f8fe00ee6f2978331c683c01f1c20c25fb75
3521b2f01cc64b5120cf5176005c03361efc087a


