# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 02529419be7b7f2b703d3fa7603b0f972f0a0f56
input_heaps:
7a436e51f62a42a02ddb55d4319a81be06759b89
c799ba9bdc115a3ecf3b5996f3e7bb7c44ffc380
9fc5d8fa4dd63ba168b2c0f43c8ae40b6c1cd216


