# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: db68fd6d442fb880d6af3ab69de6286816beef78
input_heaps:
640c93dd9b059e57f250a6bde56ed91b11370523
bab23913bc1ced9b6f8f72e060cf9fe98000c983
d2c89d43617f3375b9d3c77c3ef330e6f8379018


