# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d08bce3f585e4a3187877dc6b05dd080b866d74f
input_heaps:
535558cd1d6aa4526f469e35299f792644e559b9
2b4187bc161d3676c7ecb02018a49967dc6a5fb4
f8a244089cda5e067de34695f088e49c70773aa1


