# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3196a804712c84b7b9fb948383436c1706d9bba4
input_heaps:
951230969940b07da93990e08fc8bf60c24ffe6c
f1fab7c32ee46794bf6b2349d4fdcefa0edbff44
e55ae24ad9a5642f992d5de6366dea512042b5bf


