# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: ce12715ce0b09ecfd26e890c620bfc896d0e5124
input_heaps:
d68c97a199327570bbbc88bf3960f7f8ddebeaef
6559143f0d47d16e6a6701e66f7790a037da1ed0
243b8d604bd7068f9a09d685e447b47ef25256a3


