# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6bf2f53567089e12854be9ce76b3785243d11424
input_heaps:
e718bc473d45ba4a009a43bcde2945e08948280b
be7f62f52b4dd690b858e54668dc2f0f3869e2f3
e793ab6d3162284d1c94253f6fb1d5f42bdfa472
d6b0f6fd94c272f374ef0c3ec9f3e14488d89897


