# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 1c215ba3752421fe4dcd3dd257e63b4480715a61
input_heaps:
2b6e830346a776cafac292932ffa567cce45fa5e
d413af43dd20817cd93b29090cb02323a6fe03b6
ef7586d5b0ec6869e5da08b0d4c0e0de2da405d2


