# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e3594494e851dca684caa18e014ca61e38b15cca
input_heaps:
971b735bb93991ebc30ab05e1c5d2490d534dd41
5e6da02360216761c8e3eeec3df5cdc5e01ade87
4ea8fc28f3db3f699fb1d3852768f6dea574f230


