# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: 3742748d21cfe0d330991d0b11c91b2c58ecb61e
input_heaps:
e84f79adc9fae80ecce744260a10d713e14975f7
a21ea278ac8fad69f4ecd3913a79992386534467
66cbe90cc02d2fb75b914f675fd08bc2c0fc0199
28458b49b42f204643f8cfb919081a2600797c87


