# isabelle_session_info

session_name: HOL-Nominal
sources: bfa84d1a626752ac746336ebb31167a8914ef821
output_heap: da369f5598176650d5d32aeb3deabb1df8c1ed93
input_heaps:
a3d176741bae82c9dc513b9f3c009dc5dcba212c
631fbaef9289fd3b1f302dd3ed834db22ed304c2
b5397f7851d208b33eae43fa158851cfd5f80553


