# isabelle_session_info

session_name: HOL-Nominal
sources: 79e8cd7f28f18c93eb25e6fd229f3b44d53ae2a2
output_heap: fd7804cf1ed14af7bf77eae0e4785223c1bdd56d
input_heaps:
5a65cfc9184ac5fcff440c336649c488e962f666
d0455d08675ebeb715f124bb5eabb8abf79678b3
b38612879e92db38622e0825e4316cdaa535a44d


