# isabelle_session_info

session_name: HOL-Nominal
sources: d429b8d28a568b14a2a64b1ec00b61c040ad2bd2
output_heap: d3de1f272096daa8a530e39bd5402e8be5ba304f
input_heaps:
5248afc86b05a1ac2f695003788f35082c9fc933
f1ca51ccd42b5a485854d78f2467698d231bd356
39fdd67748314a5f3623ade681f853796ccafdf4


