# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7443de31eb715ab34a27b941f967db132b8a841e
input_heaps:
b1e9d096eff3e2d2097c331d061d199548b5d3ea
d6c569c3cb498e2d723179c18cc1cd66ffdd721e
b61885b9b1bbe6f9d8552fd0b69074af3e041450
e040a2d8e9cb470d29ebf7a8a94b0a6938f56212


