# isabelle_session_info

session_name: HOL-Metis_Examples
sources: 7d143dcf3bb662e17e9d363edfe52be37c699991
input_heaps:
74e744b09b63a313ef3c6c28f69fb3e17cd7369f
2cb7c328d0966d0aa485dd673e34df1d139d2bb8
0ef3f9c627ca88a2c540b043cf90b31a21d8cf7a


