# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 95a455e67c7a99347948e963c0caead278d7f617
uuid: 4586efab-44f9-4841-8c9b-8b7eac052afb
input_heaps:
0a2c0c4191b1d84261ef90406b039e096e738a98
12745a0f51ab83415c41598c722acb7629442f25
db5df347df4a9d5f70da638d46b9ee35f81dc73f


