# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 3d7cf3ecbf454c692651be356420484384afb0bc
uuid: 7d165ed4-b323-415d-bc4f-11acd2288f3c
input_heaps:
94e2b66d00b77875014d997ac2abf11a8e903784
18be5846271af03e56b22434e2d70261152d1227
d9a46cfa24f3a848167675ad12d9530e9c5145a6


