# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 44dfa6b9b1065a34717eef1b76fe87da32d68631
input_heaps:
dc9a9988939d5185ce4d58109b3c7ffc48063b65
00b3fd39e96e18bf037b747e64925783ae796195
942b85e8b5c86c3021f868955028bb861a0e9a28
85062cd0ccb64287d5e6931585a3c2963f9adc22


