# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 09142738a3c2e8620433ffb423c9737609c86712
input_heaps:
c7eca97fa6ef005cf19e871cc66dee919202f2f5
d7d8e72ec37a9d8fd658bf45be9f01f4c101427e
6b0560a7e646e1e1d302918564dd88bcd5bfe01d


