# isabelle_session_info

session_name: HOL-Nominal-Examples
sources: d843ee168fb6960dca10f3346f6a6d8714994e06
input_heaps:
24a02e746c61040204a8bb5050040c0249134cdf
94f56250bb4f3fd3f203368dc609dc2dfcebeb97
1e0f3a00b78341e1712801ed0c62b2e5452b2dde
aabcc89e6d8d0278ed9454c3d3c2a12e7f012bb9


