# isabelle_session_info

session_name: HOL-Nominal
sources: 1776d8d40bb8d2e6d38008ada1e5c3d23d69ca46
output_heap: bd9bb4b9e0ca1e8ff959a9c12bbd40f7ad34484d
input_heaps:
8efa791dabbe9fabbba3e8078d5274688c6622fd
537220e845e462fe9dd7dc166f6d3cf6145faab2
c59d84098cd239e6083625801b10283927e883a7


