# isabelle_session_info

session_name: HOL-Nominal
sources: bc17ebbe5a4d7cb3898badd3f5e14cca0cfc667d
output_heap: 851d4fdfc30bf7850d7a76688179590134eb5427
input_heaps:
0ff9958a0ca5fbe9ab4009834227f55206a20040
e87326cced1f0fc435ede3b19ecca1f629d0f741
c3086ce9365ffb48a9954e9d7090babdfadbb5b4


