# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: f8b90a09da7bdec96ba5db159d9662ee4aa1fb80
input_heaps:
033aeb80bf9e42a1e7357299354530b3714c24e4
64e4772cec7906cda71bcd7c2893a1bf904a976d
30cbf85ea61c8800931342d1b55ed85bc3ef16fd
f27503d08be116c208405b84cce78a67dc24b1bd


