# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 54b7e48b162f9945a5bdc052e2f581df3f8dbabc
input_heaps:
7f68df39d7677ebb1c7922c484946a4eec76dd1b
fdc78794ed38fd3aeefefb96a7c4fab20af6b100
28c959f68591b4c7632d6798533edf9197b48446
923a8d54fd3e9141bb28f54cfa414121a1864093


