# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: dae9d713e91871dfceda9a7813a73ead2a9729e4
input_heaps:
ed49615d0f34d882905c1347e93972344c93c592
18a74e1184c98f28794864630d3eda03f7ec5008
85a3031c01b9afe036405074dcf537dcc35ce904
ec2acb09fc144885b5df1df3c588f89b4b23b05a


