# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 6d6641bac8a3d56254857e8e1b94e2c85aea6a3d
input_heaps:
98dd477b080148668828b0f67c6e8a1d9708b3f3
2dc2b5acf411764d9a49dd03e6f20aef615ae67d
acd1b5a40151b067766d2c39214b0e7386d62cea
a59ea59c22d645160ab6ebbc3f5d4cd017da2a4f


