# isabelle_session_info

session_name: HOL-Nominal
sources: 1b93a1995021aa10bc7b1a7bc5285e403e2b85f1
output_heap: 50729c8e9a04a9feb8570671dd8d1bc55b17a270
input_heaps:
04546e13b3ec7f70b074138ed2f4d8667390e734
094d1060cfdb72ebd3fd1291784fda6152066b69
fd74a6dee3e5c7237bf3cd94c82b97c12c86e062


