# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c908e70c9f4bb5b830fb831747e746b0554d854f
input_heaps:
d9905930882dc1ca91d8a276cbb235c5128aeb8f
bbe29fdbe06141b726afbb3a87f4199ceaad288e
77c619213feba679f53fa2b60a9ed13501c42e58
c8c9cc0df2cf02d323d81d2ae86d883a3cda846d


