# isabelle_session_info

session_name: HOL-Metis_Examples
sources: f191aaa40505592bc18ce4bd4070982722622609
input_heaps:
9b35d05f9f8e0a26d346cc3ebf0cafeb60608d62
916c9a1b16497ead14a9223e075cfd379f8e0d5e
bbce231b51918487458129e4d893ba293c3cb727


