# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e6b7fa11af9a90d3f8151e5de2cc9a552ed4f04b
input_heaps:
00257e3a0e8c31ed9cd42bba4b978a107ebfb35c
d5d0f42e084b29f8cdaff74be02785beacd11284
0c96af0eab89186d30e429d32cd76ff931dd3593


