# isabelle_session_info

session_name: HOL-Nominal
sources: a2d40cb79da39740f68cd3792e03018310c8f94f
output_heap: e9c447dc70bd8ba064a3f808e52967d2b1f6bdf3
input_heaps:
9562e4e089728e23b6fd144e8ae0b325e248d0f2
2d67f70bb6d3bc3559e2889263b4cf3e2b1e4e9d
f9787eef9dac6f88ba0216c94e4366b98c680972


