# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: db6f84aea092502825add62100dce87e50d9002c
uuid: 5d723e33-a884-48fc-a05a-712222c0ebc5
input_heaps:
b2c9ee63d5fe16cd978c564d494a9c11f37d0e75
5e62c0cb0100aec33c186f91f5546684a9cc17b0
13edc94d6fbe222b2ded361e28728279fdb0fdff


