# isabelle_session_info

session_name: HOL-Nominal
sources: 0c4b2fccc21c426945f1e888b2ed6d456bc18837
output_heap: 408d0792af673a87d5350971d1d45632cb2b8712
input_heaps:
a1c521f363879bd6f4f9f3d7760b9927f5eca860
50b1106a64fbe3e899e930ea01c7c3692190fe1e
9633e874e5645c8ecb7f65721e705693043130fb


