# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 753d8932f56b87b48e4da7b3b4bbaf7e0f815192
uuid: b0e62d90-043e-4ad7-a52e-62e97313f66c
input_heaps:
cc0a1e6bf0a67bebc76a05283bbaeaf825c84028
0f6b10629e7cb97327ec14b3a1d38cf4256e1f5b
67311316c7511f2e1668240497faddcffe7e5d8a


