# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c528257203382a67d052591f1e44d7f79b9a9760
input_heaps:
65b7e02b1e5df641da48590b928c3fa43efd05fa
285f8199b18e375e140801c74b6101ca4dabdcb4
b4c255afc532a046995117c4d85461048de04cd1
df11bcc56c1f14c4a42ffd5afe3f30e471ba985a


