# isabelle_session_info

session_name: HOL-Nominal
sources: dd4a0f92153d9809f596ce7186357de5d07a1d77
output_heap: 5a9e21d42bd3e955b39176eee2dff7f1cd500df5
input_heaps:
895b1b1b83f37732e07998df22f424d780740496
2191c6665e759bb2ba1cac4f2b634abed64702be
4dcfd52846c0d1c5068fe68aa726c90a78f4b6ea


