# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 142a8b3ba78bbe9adc4be5d6680e7b11feab50c0
input_heaps:
78a3df3deb9d45514fea086c8beb2a7c1a1ba790
049b979b2a06b0d5c1c847e5ecbd9c6d211697f3
340951d3687436e106725fe07863c9393ecfa6a7
5eda127b401d9a889b624dd50c7e6802486561c6


