# isabelle_session_info

session_name: HOL-Nominal
sources: 7de8c7a1bb363f5b96923cb9de6b3ca5c70e310d
output_heap: 6c55dd911d798673041f85d69c8cdbf8ab49ccd8
input_heaps:
41f17979ce98542c0541e9d469ab76fea38a3827
fe08b72d7ebf651118052c08d58fcecf57acb8b5
bcd6a8f9baa2d1eebdfb3c52bf0ed51aa49a5db7


