# isabelle_session_info

session_name: HOL-Nominal
sources: b99434e436b2f056120c27a61b5fc73b409e70ff
output_heap: df72d7028f69a9e33712e7298d34d8db8f70d61a
input_heaps:
7a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d
c778faa6bf8be5df05c2dfef635e886ae01138d5
0c6af15267b265e8188e286a4be24f4639b3ee7b


