# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2af25168fb1be8a440bdbbceff97574cf5361209
input_heaps:
285655d045e087d3fc223c9ecbdbb4c9e4e2c9e1
f8795892ffcd9f173421a69fc382440ab856ed73
7e727aa88a9bb516ee5c4b1f0dc86d9fb0487b60


