# isabelle_session_info

session_name: HOL-Metis_Examples
sources: de76fe3824798e9d3fdccd598aa5fd76d0dc6f3e
input_heaps:
cc1b50b527d94b950d2d160697342c63f522975a
64e02d979687fadf0152a8264141e10032a6402e
a1303619027dd9d05e19ef095c6735f892219596


