# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: dd9a77829d29f2f5938cf3823ffc33066ed2acfb
input_heaps:
94b742004074737de01fcf0ea8cfb966f83a9f8b
4719eee2abf4f7838423a7ecc32b28f85f9d0f8b
be716d00378ca0cd46d9dda4c5ffec1c2d3fbf24


