# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 5f96b16cbec640a831bd73b1e69f1f91e5a2819d
input_heaps:
965db9a9fb2cc4fdb5e5b9afd24f7a9ca9aaf978
09960ff509b80e2828bc02044118a5145e571ed1
aa43f6ef68e79d3085d5c70bd7de9e42935e9b8d


