# isabelle_session_info

session_name: HOL-Nominal
sources: b99434e436b2f056120c27a61b5fc73b409e70ff
output_heap: 813e471aaf9cd8e78c30715a88f2e9d9c0943f94
input_heaps:
634a34b0a78430c8365c904b4a02a2bae50a7baa
da3f4711496f4ebba63bd289462f3fdd0cd836c3
c2c638f70ff654fe12265cfabc7c800e8eca4e9e


