# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8bea66baa3edb6cb7c776905adc0b34936f34f69
input_heaps:
314b2178d6c03158f9c84b2630cc69b9a5064111
9325af987c821775600f0a5773feea39c85e86ed
0e179e010e9264df3533b73d0d5017b5286f63d4


