# isabelle_session_info

session_name: HOL-Nominal
sources: 6e8a0586e8f481094866c051c703cebfc72d888f
output_heap: 5d2224ce27e9d3ca9fb06376f82b02e17bc3c745
input_heaps:
2de776be54086cd6f5d576144c34608108120821
ee9cea67cd24ab19209e832e4527fa2462c7f652
55e887fd0b0935631105aa03de079dd586c8ef95


