# isabelle_session_info

session_name: HOL-Nominal
sources: 447e966d05b968e9a48894f0e87257cabcdd8ba5
output_heap: 6dcdf2f12f7d50cb22b7831c7e4604ccfcabdaf4
input_heaps:
ae1b5b2dbbc392659df742a008f6c67116d9ebfd
3e2f53debea7c11b89b654421975bbc5018e38b4
7b8a9d88a852a6e3eeffa6fb042f28f43b58fce0


