# isabelle_session_info

session_name: HOL-Nominal
sources: 9faa9a2570be217f25889a4563888dc0b4e966a4
output_heap: c20d91ee96276435fff1828f8b13298dfa253c50
input_heaps:
9f7624067c9c5a93ecbf4163df24f4baa96ccfb8
980718f4f514a820453424182546260094c53e14
6e2adda8477a740b117c8eec41e6ef24a12f74b4


