# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: cd8ca8297af002164c7562d0651f8652a2f80047
input_heaps:
dfb2cff39355450cfd9a38d0868c45c739868d18
7c72e15715919641b0ffd3d741f84942d786d5cb
e277d9715692c228eb3bbaf9aeb5789a062411aa
7200e48616d6252af8e1175cd8f9c292f728f0ae


