# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0acb7c0d8a0b6e916112ac4bd8ccf56d24483673
input_heaps:
393fae3774b4e564b1026bf200bc8a56a06c6d90
57047d6b403ca17ea2fbe0bcecbdfd87177ba07d
afd7c40915b576ce0b4a18207bc1e0965b8b1d65
06d7a4952726ead80a02ddf681d63080f7e15b9f


