# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: e9663a7db9d64d5175fe4b0655e6b4ed962ace7c
input_heaps:
80336e722f2282f0e73859bdb2bc1deeb5e20e13
e71e14a4803a9741ead2aefcee7360a997c650e5
57b412520451206f55ed335320853e88912398f3
74b898029c51bc9368d05ed2d54b01417e720ae9


