# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 7d540ad36894a9ddb1306dfc26bc8048ed3fac15
input_heaps:
d0812df67cfd8dfc9bc229af4d4de6a4003cc0c4
2541b922d46b619e0d5865be28cb87d13b9facb0
34a63e869d323455029b768ffeadd6632d308453


