# isabelle_session_info

session_name: HOL-Nominal
sources: 73b5f79c6d3b42b956b92e4dd27174acc62d639e
output_heap: c34e9611bb10a81a8d3d447f6aa478d0881f597f
input_heaps:
c3f84dba95bf0709c61a37f27d090eafa0bb6b15
5ec4a71d50b92c5aac197cb7db0025929ac32b1d
22ee0a3c4b20f434779272d6b8481657c3766156


