# isabelle_session_info

session_name: HOL-Nominal
sources: 350e040cca7d94ea1718d5f741ddd526fdc49b76
output_heap: 9f26d382b3a326ff44c352a44ee250129a0969c7
input_heaps:
7ebc77e06d0e52a3d23b989ac3a5cdf6ba4e38da
173ebb4f87bc782b63cf102fdfc8b061631d5b0f
39e60d5dd3a8625aa5f685558211aaea63c973dc


