# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: efe0c37e5e33e84abe4b53b6c53b9c8d0d4146be
input_heaps:
3fcd7511ab327c5a89ade2e9942291174e9003ad
fb51139a56e053f2570dbe1d300fd77c6cd870a2
f722ff65652cf5211873a059989d8be4e6922370


