# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8d01eeb3513c864c167391e036abb0b3dd1e40a2
input_heaps:
8efa791dabbe9fabbba3e8078d5274688c6622fd
537220e845e462fe9dd7dc166f6d3cf6145faab2
c59d84098cd239e6083625801b10283927e883a7
bd9bb4b9e0ca1e8ff959a9c12bbd40f7ad34484d


