# isabelle_session_info

session_name: HOL-Nominal
sources: d69f9ec150174a583b8103452d56a40858c6861b
output_heap: beae97d1e98c0b219530e12084a268c2009090b7
input_heaps:
408130f68e215ede7936ca4ab0eafec3d85e645c
f28cf806c632fbc2897c47bd2481cf58fa5266f7
86e38d3b5c0be1586f867242f20f2d734f9551b8


