# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 8b76b1e5fd9a082232bd574b8bf1254779af06b2
input_heaps:
6ac43f2621aa23038ee2871857f943ba5725a1be
0a49de4572e2bdf8c075b39e270ef0518fd9ac93
e17f53f4773c1ba55f3f1bc6662d978f9642ec96
2e88e5c671802f3928e577406ac0d37b3ba1bc8a


