# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 40fb6fac540c06595591956fdc02cb1ad37bcb24
input_heaps:
a49e8b9b6dc4d6ecd45781a45084b9da6a4a0f95
685096bc14933f70ea5f8817de1a973d7793c3cd
8bdb4d53dc2059b9a36aece33255acc215cb3797


