# isabelle_session_info

session_name: HOL-Nominal
sources: f2506c525eab3bfed16181fe83e21ce530be97bb
output_heap: 6705f7c4a59a00845cc873fd61f140d008c2296f
input_heaps:
b491cc52c6cddfbd176c595fe2bbf3ae3351103c
e27039ae01fdef480895181a97cad563e945f770
07ae367b9b6b04e6f8ed611586792e0303739300


