# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 61ec04244b99ff1a716adcd5575c7e741f915d44
input_heaps:
37f305baefe6e45ebfd7e114cae155924f962693
bfb08ef1d7efa3b300b0c03bfcddc089b87c4052
a46f966c0af0b03f4220b97d56ef5f2ef34a37b3


