# isabelle_session_info

session_name: HOL-Nominal
sources: 8257b502fdd7368c841ce7d0dd3e9dd7e7078c53
output_heap: 83087296f65cf151bed17f5605547a93b46dc58c
input_heaps:
bc04ed3d5e3d39fc11eed643c195af42cfffe6e6
af27b793b0e347b7ff6acebc98cfdec3738a93c2
56c99ed97f96b6895878485285d5451853e4f70e


