# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 4c913874505550856a6f5d1d675cf0360e827fc3
input_heaps:
8a4fdc11c1dc5c6543cf017ad94919533cfc18ae
c5ddbd426f3bbda06eb7d85049a91f0bc04d57c5
382fcb406acedb854bc3e4a6a956df42867e9e80


