# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 31e20ea8fb15a3aad0d3b142a37d5e0c24018e45
uuid: 2392e5f9-2da3-472c-ad0f-094259c39e00
input_heaps:
a5086d29dbb3569e49157f03765007c8bb3737a4
079bb0e482226665fc24021353b53387cb6158a0
69b67757941a8fdf8d62c1ea4331e668e5cc22bf


