# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 0fd8c662b3c3f8cf9894f8962aec815857d4aeb3
input_heaps:
62dd5ef845605834f99fd219c6113e6e5d2ead3b
e158806d250ceec2e5c99ef815333151f28fb293
69e6c53cc553f832f80191480af118e89874fb3a
5052afcbec7a114249f110d0622a02c7ef2038fb


