# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 3b36ce8ec4e7aabcf70cdf9ad12941ceefb33369
uuid: 8d4966d3-bbb5-40a7-89b9-76bd545b1442
input_heaps:
7c6f2b7437f5ebb54c9c7f19ce0aa45616568bd7
be8131a433bddd63b748362726e9657753469013
b5dd907c121bcff21cc1c1562d33b1bab21bbfa9


