# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 506194394d648713620f7a07c83f43790157f1b7
input_heaps:
2104cafe5564fc5ce1949d8ef83c9104aee941d6
25c5d5ab322b23b0109a81b359ddcb0da3ef156a
3a5ad831eea1e3f92701b0afc2758b7edbf1aa3f


