# isabelle_session_info

session_name: HOL-Nominal
sources: 9bcfa95efe79f0bff4d0775113cbbe4e57283541
output_heap: 57dea25f690736e516ff7b91b8be6c787de40191
input_heaps:
159773851650ac68d3c2cfe38c048d4c887c247c
f1609948a6431f29c3e36d835a829345e7d4b3a1
b04535d2712ce58717caa008c61d08b556175234


