# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: c830bbdc46e0f3b90fdfc727fa30ff1768361260
input_heaps:
52519c7bb622d0149ff1a65e75361161de1fde82
44951f282c031f99bda3129d41270170cf629e89
fbb08bd1453e4f428053a68c0efeedb5b3ce3a0c


