# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 32d826baf9862626ab63899bd92511c888cb3e00
input_heaps:
532dbff203604d5e2b7f0d350df2b2e535aa0670
018c23ec32ebaf6f65e7b9544b49dc452e8ab1c3
d52c4416921d206f2834082b9a6428d7ad6619cb
04aec414ca50bafd5ee095be612ff828f590122a


