# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 2f6576d4a60c3a0f539b25814d709f5f98a7c350
input_heaps:
5aebde8d579a4faf3e50e1d4b283942cc112c6e0
5a9b453a33230a4e204d7939f4cab09dbfbbd852
349154f596b1169a04d30525da067ea8ae886b5f


