# isabelle_session_info

session_name: HOL-Nominal
sources: 14c0c345860dcdbb91be1a2c0f9233aea8311864
output_heap: bfcd43f5372e1df0c528947addddded7a2ee90e8
input_heaps:
af8291bc72d0c9bbf3c9bf1cd136a1b239d7b784
80b9f459bb77be29d11264f6792db6231dbbd49d
c7d9dd643866e1652594c7f40fbcd991b4cb63c2


